perm filename FONT1.BGF[MF,DEK] blob
sn#756258 filedate 1984-05-28 generic text, type T, neo UTF8
{`$α&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔ εRp→∞π#λ≠L&/λπYn&λ<YMvp:λ w⊂1≠m↔_xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λλ∨λα≤NV`2⎇ ≡Pq!BO(6Nλ z@≤(0
< G⊂:[ ←(z␈wt84=
P8!≡←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(6Nλ z␈wt84=
P8!≡Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(4∞λ z@= ∞ 8!≡P∧_∧λ␈␈␈␈xh
_∞_εPf`9Xα&`iXβfa X¬&a9XεfaiXλ&b→X &bIX
fbyX &c)X
fcIX∂&cyX⊂fd)X∩&dYX∪&e X∀fe9X⊗&eiX↔ff X→&f9h→gε9h→gε9h→'&)`→'&)`→'&)`→'&)`→&f9`~'εIX≠'εi`≠fg `≤'π→X≥'π9`≥fgY`≡gπiX∨gπy` ⊂∪4 gλ∧⊂N⊂λ)X ⊃∪D"'α0⊂_&b@⊂_'α@_↔gα0(↔fb@(↔gα08↔gα08↔fb@@↔gα0H↔fb@P↔gα@P↔gα0`↔&b@`↔gα@h↔'α0p↔fb@x↔'α@x↔gα1λ↔&bAλ↔gα1_↔'α1_↔&bA ↔'α1(↔'α10↔&bA0↔'α1@↔'α1@↔&bAH↔'α1P↔'α1X⊗fbAX↔'α1h⊗gα1h↔&b1x⊗gα1x↔'α2⊗fb2λ↔'α2⊂⊗gα2⊂⊗fb2_↔'α2 ⊗gα2 ↔&b20⊗gα20↔'α28⊗fb2@↔'α2H⊗gα"P⊗fb2X⊗gα2X⊗gα"h⊗fb2h⊗gα2p⊗fb2x⊗gα3⊗gα3⊗fb3⊂⊗gα3⊂⊗gα3_⊗&b3 ⊗gα3 ⊗gα3(⊗aa⊂X MEY`∪MeYX∪N¬Y`≥I%Y` #3DG&hλxN⊂ λ⊗'λε⊂K3D0@eIX _@2hN⊂ _⊗gλελαK341↓%Y` _ rhN⊂ ⊂8⊗gλε∧K340B%Y` _↓2`N⊂ X⊗gλ¬xεK∪40β%Y` ↔abhN ¬XπK3B( ∩%YX∩P 2hNα`q_ ∩eY`αβB4& 5a⊂ ∪%YX P bhN∧h∧p⊗gα$'K31_ ∀¬Y` P
αhMDh¬⊂⊗gα4) 3A_ ∀eYX P
BhN∧h¬ ↔'α$+ 31_ ∃Ei` P
rhN∧H¬@↔&b4,K3A_ ⊗%Y` ⊂ "pMDh¬X⊗gα4-KSA⊂ ↔%YX P RpN∧h¬h↔&b4/KSA_ ↔ei` P αpMDhελ↔'α40KsA_ _EiX P 2xN∧hε_↔gα42 s1_ →%y` P SMEλε0↔gα43L∪A_ →f X P
βλN∧hεH_'α44L31_ ~F→` P
#⊂MEλεX_gαD5LSA_ ≠ε)X
⊂
C_N¬λεh→&bD7 sA ≠F9X
P
c N¬λπ~'αD8
∪1( ≤εY`
⊂∞∪(ME(πλ≠'αT8MS1( ≤fi`
P∞30N¬(π_≠fbd9MsA( ≥π X ⊂∞CHN¬Hπ ≤fbd;∞3A0 ≥G→X P∞cP"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\D∧⊂xA∞'(6→>P∂(8Pa z@⊗¬pC⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PX↔P␈(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@⊗¬pC⎇?{x#Z≡PX↔P␈(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∀epC⎇ ≡P]↔P␈(!@!?␈␈x␈@∂@Nh@∂PλI` ∩∪D&'λ∧xN⊂
→` ∀sD*gλ¬8N⊂ →` ⊗SD.'λ¬hN⊂ y` _∪D0gλε⊂N⊂ 9` →∪D2gλε0N⊂ y` →sB8
K∪B8 J3B8
J∪B8∞ sB8∂ SB8∂I3B8⊂ 3B8⊂I3B8⊃ ∪B8⊃ 3B8⊃I∪B8∩ ∪B8∩ ∪B8∩HsB8∩I∪B8∪λsB8∪λsB8∪ ∪B8∪HsB8∪HsB8∪HsB8∀λsB8∀λsB8∀λsB8∀λsB8∀λsB8∀HsB8∀HsB8∀HsB8∀HsB8∀HsB8∀HsB8∀HsB8∀HsB8∀HsB8∀HsB8∀HsB8∀HsB8∀HsB8∀HsB8∀HsB8∀λsB8∀λsB8∀λsB8∀λsB8∀λsB8∀λsB8∪HsB8∪HsB8∪HsB8∪λsB8∪λsB8∪λsB8∩HsB8∩HsB8∩ ∪B8∩λsB8⊃I∪B8⊃ ∪B8⊃ ∪B8⊂I∪B8⊂ ∪B8∂I3B8∂ 3B8∞ sB8
∪B8
3D3gλε8N⊂ i` →3D2'λε_N⊂ )` _3D0'λε⊂N⊂ 9` →3D3'λε8N⊂
→` ~SD5gλε`N⊂
Y` ≠SD7gλπN⊂∞→`∪Ge9`∪HE→`∪I¬ `∪IDy`∪J∧Y`∪J$Y`∪JDY`∪JdI`∪K∧I`∪K$9`∪K$I`∪KD9`∪Kd9`∪Kd9`∪L∧9`∪L∧9`∪L$)`∪L$9`∪LD)`∪LD)`∪LD9`∪Ld)`∪Ld)`∪Ld)`∪Ld9`∪M∧)`∪M∧)`∪M∧)`∪M∧)`∪M∧)`∪M$)`∪M$)`∪M$)`∪M$)`∪M$)`∪M$)`∪M$)`∪M$)`∪M$)`∪M$)`∪M$)`∪M$)`∪M$)`∪M$)`∪M$)`∪M∧9`∪M∧)`∪M∧)`∪M∧)`∪M∧)`∪Ld9`∪Ld)`∪Ld)`∪Ld)`∪LD9`∪LD)`∪LD)`∪L$9`∪L$)`∪L∧9`∪L∧9`∪Kd9`∪Kd9`∪KD9`∪K$I`∪K$9`∪K∧I`∪JdI`∪JDY`∪J$Y`∪J∧Y`∪IDy`∪I$y`∪He `∪H¬)` ≤3D8'λεxN⊂
i` ≠3D6'λεXN⊂
)` ~3D3gλε0N⊂ Y` _sD1'λεN⊂ i` ↔∪D-'λ¬@N⊂
Y` ∀SD''λ∧H"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\D∧_xA∞'(6→>P∂(8Pa z@~Y_2⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pjdl←(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@~Y_2⎇?{x#Z≡Pjdl←(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@→9_2⎇ ≡Podl←(!@!␈␈␈x␈@∞a␈␈␈xz@n@9CR!xK
3βλL∞∪∪hLPλ9P ⊃s∀&&H¬M⊂
IP ⊗∪4-&H¬pM⊂ →X →∪$3fhεHMP
IP ≠s48fhπ_MP∞YX≥β& X≠EEIX~G%→X~λDyX~ DIX→JD9`→ $)X_L$→X_MβyX_MCyX_N#i`_∞cYX_∂#YX_∂cI`↔Pλ⊃`MKh∧_∞&f∧!G∪Bx ⊃#IX↔PλqXN H∧H
fet$FsBp ∩c9X↔⊂ AXN H∧h
fed'εsBh ∀β9X↔⊂
↓`N (¬⊂
feT)G∪Bh ∃β9X⊗P
QXN 3B`MK3B`N ∪2`N ∪BXMK∪BXN
s2XN
sBXMJsBXN
SBPMJsBPN
SBPN
32PN
SBHN
3BHMJ3BHN
3BHN
∪B@N
∪2HN
∪B@N
∪B@N
∪B@N sB8N sB8MJ∪B@N
∪B8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8NIsB8N sB8N sB8N sB8N
∪B@NIsB8N sB@N
∪B@N
∪R8N
∪B@N
∪B@N
3R@N
∪BHN
3BHNJ3BHN
3BPNJ3BHN
SRHN
SBPNJSBPN
SRPN
SBXNJsBXN ∪RXN λ¬(
g%4*FsB` ∃β9`⊗P
!XNKλ¬⊂
g¬T(π∪Rh ∪c9`⊗P a`NK(∧h
g¬d%G∪Rh ∩c9`↔⊂ ⊃`NKH∧8∞'%d#π∪Bp ⊃#Ih↔⊂λ1hN h∧λ∞g%sx∂'%sh∂'εβX∂'&β@⊂'&β0⊂'ε∪_⊂g&"x⊃'&"`⊃g&"H∩gεB(∪'&R∀'&aX∃''↓ ⊗g'@8~'(π(NP∞9h ≤3T7'(ε`O⊂
→h →sT2'HελNP ip ⊗Sd+gH¬_O⊂ yp ∩st"gH∧λONtβ P 4"⊂R¬λOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂⊃≡⊂ 9≥-F(z@= ∞⊂C¬≡Pz|#O(8Pa xA∞'(6→>P∂(␈ohv@z@≡←λ∞=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pz|#O(␈ohv@z@≡←λ∞= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pu|#O(z@∨␈λ∞= λ0λOx␈␈␈p∧⊂≤ ~p
!xG
R∀$$(¬8HP hX ≡r4CgλλPN⊂⊃Y`α@(λHN⊂∩→` $sDJgλ 8N⊂∪→` &sTMgλ hN⊂∪i` 'sA P⊃9` (SA8P⊃9` )∪APP⊃)` ∩β∀"gβPλ∞K'y`↔∂GI`⊂⊂
βHNλλ¬_≠g∧∧*MSB ⊗ε9`⊂⊂ #⊂Nπh¬`→'βt/ 3Qp _¬y`∂⊂ ∩xNπHε⊂↔gβd2 3Ap →%Y`∂⊂ bhNπHε8⊗'βd4 ∪Ap ~%9`∂⊂
"XNπHεX∃'βd5JsAp ≠¬)`∞P
bPNπ(εx∀gβT7JSAh ≤¬→`∞P∞∩HNπ(πλ∀gβT9
3Ah ≤E→`∞P∞2@Nπ(π_∀gβT:
∪Ah ≥¬ `∞P∞R@Nπ(π(∀'βT:J∪Q` ≥E `∞⊂∞b@Nπλπ8∪gβD;J∪A` ≥e `∞⊂∂α8Nπλπ@∪gβD<
∪AX ≡% `
P∂"8NεhπP∪gβ4=
∪AX ≡E `
P∂28NεhπX∪gβ4=IsAX ≡dy`
P∂2@Nεhπ`∪gβ4> sAX ∨∧y`
P∂B8Nεhπ`∪gβ4> sAX ∨∧y`
P∂B8Nεhπh∪gβ4>IsAX ∨$y`
P∂R8Nεhπh∪gβ4>IsAX ∨$y`
P∂R8Nεhπh∪gβ4>IsAX ∨$y`
P∂R8Nεhπh∪gβ4>IsAX ∨$y`
P∂R8Nεhπh∪gβ4>IsAX ∨$y`
P∂R8Nεhπh∪gβ4>IsAX ∨$y`
P∂R0Nεhπh∪'β4> sAX ∨∧y`
P∂B8Nεhπ`∪gβ4> sAX ∨∧y`
P∂B8Nεhπ`∪'β4=IsAX ≡dy`
P∂28NεhπX∪gβ4=IsAX ≡Dy`
P∂"8NεhπP∪gβ4= sAX ≡$y`
P∂∩8NεhπH∪gβ4<IsAX ≡∧y`
P∂α8Nεhπ@∪gβ4;J∪AX ≥dy`
P∞r8Nπλπ(∀'βD:IsA` ≥¬ `∞⊂∞B@Nπλπ ∪fcT9J∪Ah ≤e `∞P∞"@Nπ(π⊂∀'βT8J∪Ah ≤% `∞P∞α@Nπ(π∀'βT7J3Ah ≠E→`∞P
bHNπ(εh∀gβT6
SAh ≠¬→`∞P
2PNπ(εP∃'βT4JSAh ~%)`∞P
αPNπ(ε8∃gβT3
sAh →%9`∞P B`NπHε⊂⊗'βd0K∪Ap _¬Y`∂⊂ bpNπH¬h↔'βd. SAp ⊗Ey`∂⊂ ∪NπH¬8_gβd+ 3Ap ∃ε)X∂P
#_Nπh¬~'βt'
3Ax ∪εi`∂P #8Nπh∧8≤gβt"∞sAx ⊂'I`⊂∂πy`⊂∞λ∧⊂Nλε4#'∧α` ∩sB⊃⊂
I` %∪DIgλ λN⊂⊃y` #3DEgλλHN⊂⊂y` !3DAfhλ⊂N⊂∂y` ∨∪D<gλπ0N⊂∞9` ≠sD5gλε0N⊂ →` ⊗SD(gλ∧_"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\D∧(xA∞'(6→>P∂(8Pa z@→=x== ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pewo/(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@→=x==?{x#Z≡Pewo/(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@_≥x== ≡Pjwo/(!@"␈␈␈x␈@ [@h@ P∀ h 'STN'( PNP∪ h %STJ'( ⊂NP∩ h #SDFgλλ`NP⊃)` "3DD'λλ8N⊂⊂i` !3DB'λλ_N F"PN H¬⊂∧g∧d+↓∪B0 ⊗→`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'$Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'$9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃P
⊂Nλh¬α'∧4&AsB_∨E3B_⊃L3D;gλπ8N⊂∞y` ≥sD;gλπ8N⊂∞y` ≥sD;gλπ8N⊂∞y` ≥sD;gλπ8N⊂∞y` ≥sD;gλπ8N⊂∞y` ≥sB_⊂LsB_≥F3B_ ∪↓ `⊃P p(Nλh¬λ↓g∧4)@3B_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_MI∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N 3B(N 3B(N 3B(N 3B(N 3B(N 320N SB0N SB0N SB0N SB0N H¬8↓'∧d*A3B0 ∀!)`∪ eY` sDB'λλ(N⊂⊂i` !sDD'λλHMP⊃9` #∪DFgλλpMP∩ X $S4J&h 0MP∪ X &S4N&h pMP∀∧ xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λλoλα≤NV`2⎇ ≡Pq!BO(0E$Hz@≤(0
< G⊂:[ ←(z␈wt84= ⊂∃∩>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(0E$Hz␈wt84= ⊂∃∩>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(.¬$Hz@= `∃∩>P∧_∧0␈␈␈␈xα ⊂␈␈␈␈`
λαλ 3DA'(λλN⊂⊂)h SDA'λλ_NP⊂)` sDAgλλ N⊂⊂Yh !∪DBgλλ(N⊂⊂i` !sDCgλλ@N⊂⊃ ` "3B0≤JSB0 ∪Bi`∪⊂
`xN H¬X¬'∧d/α∪B0 _ Y`∪⊂ @_N Hε0g∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧iX∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧t&SB8 ∩ Y`∪Pλ`@N h∧⊂ε'∧s` '∧r@∪'λπ(N⊂∞Y` ≥3D:gλπ(N⊂∞Y` ≥3D:gλπ(N⊂∞Y` ≥3D:gλπ(N⊂∞Y` ≥3D:gλπ(N⊂∞Y` ≥3D:gλπ(N e∩(N gQλN h∧_¬g∧t#AsR0 ∩@I`∪⊂ @⊂N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0MIsB8N sB8N sB8N sB8N sB8N sB8N s2@N
∪B@N
∪B@N
∪B@MJ3BHN
∪B⊂Nπ∪1@N∧S@`N↓s0⊂"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\D∧8xA∞'(6→>P∂(8Pa z@≡+ ≥= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Py-π/(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@≡+ ≥=?{x#Z≡Py-π/(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@≥ ≥= ≡P}-π/(!@#␈␈␈x␈@⊂i?␈␈xy@n;D2apKIs∩pLM∪#HLOs$"&H∧@M⊂ IP ∀∪4)fH¬8MP →P ↔340&Hε_MP iX ~∪45fHεpMP∞ X ≤S4:fhπ8MP∂→X ≡s4>fhπxMP⊂→X s4Bgλλ(MP⊂yX "34Efhλ`N⊂⊃YX #s4H&h ⊂N⊂∩)X %∪4Jgλ∧λ ∂s3p⊂N∪3`∀
3CP⊗LS3H→ ∪3@≠ SC8≤ 330≡ ∪C(∨JS3( ⊂%→X~Pλ2@N
λ∧0∪ffD$ SC_ ∩DYX→P B N h∧h∩&f4'HsC⊂ ∀$)X→⊂
"⊂N H¬_⊂ff$*λ3Cλ ∃D `_P
bML(¬@∂gε∀,πs3λ ⊗#y`_P !@N λ¬X &f∀-C3Cλ ⊗`yX_P @λN 3CλML3CλN 3CML3CλN ∪3λN 3CλN 33λN 3CλN 3CλMLSC⊂N 3CλN 3CλMLSC⊂N SC⊂N SC⊂N SC⊂N SC⊂N S3_N sC_N sC_ ⊃')`→PλSPN h∧(≥'ε4"NSC_ ⊃')`→PλCXN h∧ ≥gε4"∞sS⊂ ⊃π9`→⊂λCXN H∧_≡'ε$!O∪C⊂ ⊂gI`→⊂λ3`N H∧_≡'ε$!O3C⊂ ⊂Gi`→⊂λ#pN H∧⊂∨'&∀!∂SCλ ⊂Gi`_Pλ#pN H∧∨gε$ ∂sC⊂ ⊂πyh_PλβxN (∧∨gε∪x ⊂∪Cλ∨Pλ `→∂H∧NL(¬x∂gε∀/GsCλ ↔cy`_P qxNL(¬p∂gε∀/πsCλ ↔Cyh_P QxN (¬h∂gε∀.GsSλ ↔βy`_P AxN (¬`∂g&∀-GsCλ ⊗cy`_P 1xNL(¬P∂gε∀-πSC⊂ ⊗#ih_P ⊃pN H¬@∂'&$+GSC⊂ ∃Cy`→P
BNLH¬ ⊂'ε4)λ3S_ ∀∧)`~⊂ b_NLh∧h∩'εD%I3S ∩$i`~Pλr8NM(∧ ∀gεd!
SS0 ⊂¬9h≠∂%Y`≤∞%yh≤
f `≥ f)h≥ fYh≥JG `≡I'9h∨G(∧NPλ0x ∩3DMg( PNP∪→` &3TL'( 8NP∩i` %STJg( NP∩9h $SDI'( λNP∩ h #sT7@#ih ≠ !pNP
@⊂∂'(εP↓GST4↓βih →`ApNP P(∂'(ε_βπSd0↓cih ↔A↓pNP @H∂'(¬P¬πSd+Bcih ∃!ApO⊂
h∂'(∧xπGSd&∧βip ∩"⊃pNPλa_∂'H∧⊂
GScx πSsP πSc0
πSs∞GSrP⊂πTα_⊃Ft↓X∪E4pP⊗Cz0PN↓λOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂∩≡⊂ 9≥-F(z@= ∞⊂C¬≡P]l"?(8Pa xA∞'(6→>P∂(␈ohv@z@↔;λ ⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>P]l"?(␈ohv@z@↔;λ ⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PXl"?(z@_[λ ⎇ λ0 ∂x␈␈␈p∧∪/x␈␈␈P~Pλp_KBλ∧hα%Ad#BRa ⊂Ay8 OαY0∂MC90∩L$ 8∃ ∧→`∃ ∧→`∃ ∧→h∀L∧→`∀L∧→`∀L∧→`∀L∧→`∀L∧→`∀L∧→`∀ D `∀ D `∀ D `∀ D `∀ D `∀ D `∀ D `∀ D `∀ D `∀ D `∀ D `∀ D `∀ D `∀ D `∀ D `∀ Cy`∀ Cy`∀ Cy`∀ Cy`∀ Cy`∀ Cy`∀ Cy`∀ Cy`∀ Cy`∀ Cy`∀ Cy`∀ Cy`∀ Cy`∀ Cy`∀ Cyh∪LCy`∪LCy`∪LCy`∪LCy`∪LCy`∪LCy`∪LCy`∪LCy`∪LCy`∪LCy`∪Lci`∪Lci`∪Lci`∪Lci`∪Lci`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪
βi`∪ $→`∪
E `∪λ&→`∪¬'Y` ≡∪D<'λπ@N⊂∂ ` ≡∪D<'λπ@N⊂∂ ` ≡∪Cx
GSC_∪GSBP_πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB0~πSB8→GSB8→GSB8→GSB8→GSB8→GSB8→GSB⊂≤π3A`∨¬sA0 ⊃α)`λP ⊂`Nαh∧xβ'T xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ ∨λα≤NV`2⎇ ≡Pq!BO( .
pz@≤(0
< G⊂:[ ←(z␈wt84= λλ8+↑←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←( .
pz␈wt84= λλ8+↑Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(≥n
pz@= λX8+↑P∧_∧H␈␈␈␈xα ¬h␈␈␈␈x
¬P↓d↓iλ $∧9λ⊗e&Ip_g& h↔'%Y`⊗g%I`⊗'¬I`∃g¬9`∃g%)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∀g¬→h∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀&e→`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬→`∀g% `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀&e)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃feI`⊗'¬I`⊗'¬I`⊗fei`↔gε X→&fYX∩fB∧ xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ /λα≤NV`2⎇ ≡Pq!BO((9W`z@≤(0
< G⊂:[ ←(z␈wt84=
λf←≡←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←((9W`z␈wt84=
λf←≡Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(%yW`z@=
Xf←≡P∧_∧P␈␈␈␈xhλ`␈␈␈␈(
λε0∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪R∨␈x␈ids⊂∪g∧s⊂∪g∧s⊂∪g∧s⊂∪g∧s⊂∪g∧s⊂∪g∧s⊂∪g∧sλ∀'∧sλ∀'$s∀'∧s∪g∧s∪g∧s∪g∧rx∀'¬αp∀'$rp∀'∧rh∀'∧rh∀'¬α`∀'$rX∀'¬αP∀'¬αP∀'%α@∀'¬α@∀'¬∩0∀g%α0∀'¬∩ ∀g%∩⊂∀g¬∩⊂∀g%∩∀g¬!p∃'%!`∃'¬1P∃g%1@∃g¬Q ⊗g%a↔'&P_'λεPNP
h →ST2'λε NP )h _∪T/'(¬`NP )h ⊗∪T+'(¬ O⊂
h ∪ST&'H∧@NPλip ⊂ScpO∞Sc0O 3rXOI4↓hQ∧(Oλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂∩}⊂ 9≥-F(z@= ∞⊂C¬≡Pi∃m←(8Pa xA∞'(6→>P∂(␈ohv@z@~%86⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pi∃m←(␈ohv@z@~%86⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pd∃m←(z@≠E86⎇ λ0 ?x␈␈␈p∧⊗⊂~⊂∧αX ⊃cyh∃⊂λaxN
H∧(∂g¬$"πsBP ⊃βi`∃⊂λ1pN
H∧⊂∞g¬$ G3BP ⊂#I`∃⊂λ↓`N
Gq`N
Ga`N
'a`N
'aXNJπQXN
πAXN
π1XN
π!XN
π⊃XN
π⊃PN
π↓PN
εqPN
εaPN
εQHN
εAHN
ε1HN
ε!HN
ε⊃HN
ε⊃@N
ε↓@NIeq@N ea@N eQ@N eA@N e1@N e!@N e⊃@N e↓@N dq@N da@N dQ@N dQ8N dA8N DA8N D18N D!8N D⊃8N D↓8N Cq8N Ca8N CQ8N CA8N C18NI#!8N #⊃8N #↓8N "q8N "a8N "a0N "Q0N "A0N "1@N "!HN "⊃PN "↓`N !qhN !axN !RN !BλN !2_N !" N !∩(N !α8N r@N bPN RXN B`N 2pN "xN ∪λN⊂
y` ∃sD,'λ¬@N⊂ →`≠$)`~@D)`~↓∧)`→A$)`→↓d)`_B∧)`_α$)`↔Bd)`↔β∧)`⊗CD)`⊗βd)`∃D∧)`∃∧D)`∀Dd)`∀¬$)`∪ED)`∪¬d)`∩F$)`∩F$)`∩FD)`∩FD)`∩FD)`∩Fd)`∩Fd)`∩Fd9`∩G∧)`∩G∧)`∩G$)`∩G$)`∩G$9`∩GD)`∩GD)`∩GD9`∩Gd)`∩Gd9`∩H∧)`∩H∧)`∩H∧9`∩H$)`∩H$9`∩H$9`∩HD)`∩HD9`∩Hd)`∩Hd9`∩Hd9X∪ ∧)`∪ ∧9`∪ ∧9`∪ $9`∪ $9`∪ $I`∪ D9`∪ D9`∪ DI`∪ d9`∪ dI`∪
∧9`∪
∧9`∪
∧I`∪
$9`∪J∧I`∪J∧I`∪J$9`∪J$I`∪J$I`∪JDI`∪JDI`∪JDY`∪JdI`∪JdI`∪JdY`∪K∧I`∪K∧Y`∪K∧Y`∪K$I`∪K$Y`∪K$Y`∪KDY`∪KDYX∀ Di`∀ dY`∀ dY`∀ di`∀ ∧Y`∀ ∧i`∀ ∧i`∀ $i`∀ $i`∀ $i`∀ Di`∀ Di`∀ Dy`∀ di`∀ dy`∀ dy`∀ e `∀
∧y`∀
∧y`∀
¬ `∀
¬ `∀
% `∀
% X∀M%→`∀M%→`∀ME→`∃
%→`∃
%)`∃
%)`∃
E→`∃
E)`∃
E)`∃
E9`∃
E9`∃
e9`∃
e9`∃
eI`∃
eI`∃
eY`∃
eY`∃∞¬Y`∃∞¬Y`∃∞¬iX∃N¬i`∃N¬t xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ Oλα≤NV`2⎇ ≡Pq!BO(.v⊃⊂z@≤(0
< G⊂:[ ←(z␈wt84= XXD↑←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(.v⊃⊂z␈wt84= XXD↑Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(,6⊃⊂z@= (XD↑P∧_∧`␈␈␈␈xα
x␈␈␈␈p
(∧@α%a→0πeBY8
%D 0∪%e9`∃g¬9`∃g¬9`∃g¬9`∃g%)`∃'¬)`∃'¬)`∃'¬)`∃'¬)h∀g¬→`∀g¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'$y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧yX∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀⊂ @λN
λε_↓'¬∧0A∪B@ _Y`∀⊂ `8N
λ¬`∧g¬∧-αsB@ ⊗↓Y`∀⊂
AλN
λ¬
g¬∧$π∪B@≡IsB@∪O3B@α⊂ ` #∪DF'λλ`N⊂⊃I` #∪DF'λλ`N⊂⊃I` "s4F'λλ`N⊂⊃I` #∪DF'λλ`N⊂⊃I` #∪DF'λλ`N⊂⊃9` "sDEg∧b@≡gβ$&I∪@xNhOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂∪>⊂ 9≥-F(z@= ∞⊂C¬≡Pq!:?(8Pa xA∞'(6→>P∂(␈ohv@z@≤((i⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pq!:?(␈ohv@z@≤((i⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pl!:?(z@≥H(i⎇ λ0 ←x␈␈␈p∧_∨x␈␈␈@~⊂∧β0 ⊂¬I`≠OeI`≠OeI`≠OeI`≠OEY`≠OEY`≤∂%Y`≤∂%Y`≤∂%Y`≤∂%Y`≤∂¬i`≤Nei`≤Nei`≤Nei`≤Nei`≤Nei`≥∞%y`≥∞%y`≥∞%y`≥∞%y`≥N¬y`≥N¬y`≥Mf `≥Mf `≥Mf `≡
F `≡
F `≡
F `≡
&→`≡
&→`≡Mε→`≡Mε→`≡Mε→`≡Mε→`≡Lf)`∨ F)`∨ F)`∨ F)`∨ F)`∨L&)`∨Lε9`∨Lε9`∨Lε9`∨Lε9` ⊂¬s_N⊂λαx→gλ∧↔
∪A0J%c N¬@∩H↔
∪A0JES N¬@∩P⊗M∪A0JES N¬@"H⊗
3A0↓
%C(N¬@"P∃M3A0↓
E3(N¬@2H∃M3A0↓J%3(N¬@2P∀MSA0↓JE∪0N¬@BH∀MSA0α
%∪0N¬@BH∀MSA0α
Eβ0N¬@BP∪MsA0αJ$s8N¬@RH∪MsA0αJ$s8N¬@RP∪
sA0β
$c8N¬@bH∩N∪A0β
$S@N¬@bP∩∞∪A0βJ$C@N¬@rH∩∞∪A0βJ$C@N¬@rH⊃N3A0βJD#HN¬AαH⊃∞3A0∧
$#HN¬AαH⊃∞3A0∧
$#HN¬A∩H⊂∞SA0∧J$βPN¬A∩H⊂∞SA0∧J$βPN¬A∩P∂NSA0¬
#sPN¬A"H∂∞sA0¬
#cXN¬A"H∂∞sA0¬J#SXN¬A2H∞NsA0¬J#SXN¬A2H∞∂∪A0ε
#3`N¬ABH
O∪A0ε
#3`N¬ABH
O∪A0ε
#3`N¬ARH O3A0εJ#∪hN¬ARH O3A0εJ#∪hN¬AbH ∂3A0π
#βhN¬AbH OSA0π
"spN¬Ar@ OSA0πJ"cpN¬ArH ¬ ∩@N¬ArH ¬ ∩@N¬ArH
E@∩@N¬BαH
¬@∩@N¬BαH
¬@∩@N¬BαH
¬ "@N¬BαH
¬ "@N¬B∩@
¬ "@N¬B∩H ¬@"@N¬B∩H ¬@"@N¬B∩H ¬@"@N¬B"@ ¬ 2@N¬B"HλE 2@N¬B"Hλ¬@2@N¬B"Hλ¬@2@N¬B"Hλ¬@2@N¬B2@λ¬@2@N¬B2HπE B@N¬B2HπE B@N¬B2Hπ¬@B@N¬BB@π¬@B@N¬BBHεE@B@N¬BBHεE@B@N¬BBHεE R@N¬BR@εE R@N¬BR@ε¬@R@N¬BRH¬E@R@N¬BRH¬E@R@N¬BRH¬E b@N¬Bb@¬E RHN¬BbH¬¬ RHN¬BbH∧E@RHN¬BbH∧E@RHN¬Br@∧E@RHN¬Br@∧E bHN¬BrH∧¬ bHN¬BrH∧¬ bHN¬Cα@βE@bHN¬Cα@βE@bHN¬CαHβ¬@bHN¬CαHβ¬ rHN¬CαHβ¬ rHN¬C∩@αE@rHN¬C∩Hα¬@rHN¬C∩Hα¬@rHN¬C∩Hα¬!αHN¬C"@α¬!αHN¬C"@α¬!αHN¬C"H↓¬AαHN¬C"H↓¬AαHN¬C2@↓¬AαHN¬C2@↓¬!∩HN¬C2HE!∩HN¬C2HE!∩HN¬C3x∧J3A0∞∂A∩HN¬CCp∧J3A0∞∂!"HN¬CCh¬
3A0∞O↓"HN¬CS`¬
3A0∞O↓"HN¬CSX¬J3A0∂∞A2HN¬CcP¬J3A0∂∞A2HN¬CcP¬J3A0∂∞A2HN¬Cs@ε
3A0∂N↓BHN¬Cs@ε
3A0∂N↓BHN¬Dβ8ε
3A0⊂
aBHN¬Dβ0εJ3A0⊂
ARHN¬Dβ0εJ3A8⊂
!RHN¬dβ(ε
SA8⊂
!BPN¬dβ εJSA8⊂LaRPN¬d∪_εJSA8⊂LaRPN¬d∪_εJSA8⊃ !bPN¬d#λπ
SA8⊃ !bPN¬d#λπ
SA8⊃ !bPN¬d3π
SA8⊃KarPN¬d2xπJSA8⊃KarPN¬dBpπJSA8∩ ArPN¬∧rpπJ3@x⊗ "α_Nα&2`λπ3@_≤Kα↓@$<∧S@`N↓s@λ"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\D∧pxA∞'(6→>P∂(8Pa z@≠
λs= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡Pl4<o(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@≠
λs=?{x#Z≡Pl4<o(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@→mλs= ≡Pq4<o(!@'?␈␈x␈@∞@c␈␈␈x|@l@b@s (LAs⊂P$?␈␈xD@hπλεea∧7Cr`x ~b)0
P
↓(KFhε %D∀1εRb@ ↔CY@⊗P "N (¬8⊃g¬d* 3Bp ∀% `↔P RXN h∧h∃gε∧&
sC ∪¬9`_P 2PN (∧X∃'ε$%
SC_ ∩%)`→P ∩PN
λ∧@∃'εD$
SS ⊃e)`~⊂λrPN
(∧0∃'εT#
SC0 ⊃%)`≠PλBPN
h∧ ∃'π∧"
3C@ ⊃¬→`≤Pλ2HN∞(∧_∀gπ$!
∪CP ⊂E `≥Pλ∩@N∂λ∧∀'πD
∪Ch∨J∪Ch∨J∪Cp∨
∪Cp∨
∪Cx≡J∪D ∂¬ ` ⊂πB@N⊂λ∪X∀'λ∧λ≥J∪D!∞E ` ⊂G"@N⊂λ3H∀'λ∧_≤J∪D"∞¬ ` ⊃&r@N⊂λS8∀'λ∧0≠
∪D#
Dy` ⊃fR8N⊂λs(∪gλ∧@~ sD$Ldy` ∩&28N⊂ #⊂∪gλ∧P→ sD%L$y` ∩f∩8N⊂ Cλ∪'λ∧h_ SD&L∧i` ∪Er0N⊂ bx∪'λ∧x↔ SD'KDi`∪%∩h∪'∧`⊂∀K∧i`∪E∩`∪'∧`_∀Jdi`∪e∩X∪'∧` ∀JDi`∪↓%αP∪'∧`(∀J$i`∪↓E∩@∪'∧`0∀J∧i`∩B¬∩8∩g∧PH∀ dY`∩B%∩0∩g∧PP∀I$Y`∩BE∩(∩g∧PX∀I∧Y`∩Be∩ ∩g∧P`∀HdY`∩C%α_∩g∧Ph∀HDY`∩CE∩λ∩g∧Pp∀H$Y`∩Ce∩∩g∧Q∀λ∧Y`∩D¬⊃x∩g∧Qλ∀GDY`∩D%⊃p∩g∧Q⊂∀G$Y`∩DE⊃h∩g∧Q_∀G∧Y`∩E¬↓`∩g∧Q ∀FdY`∩E%⊃P∩g∧Q(∀FDY`∩EE⊃H∩g∧Q8∀ε$Y`∩Ee⊃@∩g∧Q@∀EdY`∩F¬⊃8∩g∧QH∀EDY`∩F%⊃0∩g∧QP∀E$Y`∩Fe⊃ ∩g∧QX∀E∧Y`∩G¬⊃_∩g∧Q`∀DdY`∩G%⊃⊂∩g∧Qh∀DDY`∩GE⊃λ∩'∧Qx∀D∧I`∩Ge⊃∩'∧R∀CdI`∩H¬⊂x∩'∧Rλ∀CDI`∩HE⊂h∩'∧R⊂∀C$I`∩He⊂`∩'∧R_∀C∧I`∩I¬⊂X∩&db ∃αDI`∪ %⊂P∩'∧b0∀B$I`∪ E⊂H∩'∧b8∀B∧I`∪ e 8∩'∧b@∀AdI`∪
¬ 0∩'∧bH∀ADI`∪
% (∩'∧bP∃↓∧I`∪
e⊂ ∩'∧bX∃dI`∪ ¬⊂_∩'∧b`∃DI`∪ % λ∩'∧bh∃$I`∪ H∧pN Et&g∧bx ∪3B0_⊂ I`∪ λ∧`N F∀%g∧cλ ∩sB0→⊂ )`∪ h∧HN F4$g∧c ∩∪B0~⊂ `∪
(∧8N FT#g∧c0 ⊃SB0≠⊂λi`∪
h∧(N G∧"'∧c@ ⊃∪B0≤Pλ9`∪∞(∧_N G$!'∧cP ⊂SB0≥Pλ→`∪∞h∧λN GD &dsh∨g¬β`∨g¬βh∨'¬βh∨'¬βp≡g¬βp≡g¬βx≡'¬βx≡'¬∧ ∞sB@ ⊂')`∀⊂λ∪PN
λ∧⊂≤g¬∧!∞3B@ ⊂g `∀⊂λ3@N
λ∧ ≠g¬∧"
sB@ ⊃&i`∀⊂λS0MJ(∧0~g¬∀#M∪BH ⊃fI`∃⊂λs_N
H∧8→g¬$$ SBP ∩ε)`∃⊂ ∪λN
H∧H_g¬$% ∪BP ∩F `∃⊂ 2xN
H∧`↔'¬$& S2X ∪%I`∃P RHN
h∧p∩g¬∀(λsB ∃Cy`∂⊂ A`Nελε_ 'α44¬S@h ≠b)`βP∞PxNHπX¬R∨A `αg ∀ xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ ␈λα≤NV`2⎇ ≡Pq!BO(@\*λz@≤(0
< G⊂:[ ←(z␈wt84= ⊂⊂q(>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(@\*λz␈wt84= ⊂⊂q(>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(>≤*λz@= ⊂`q(>P∧_∧x␈␈␈␈x↓8∞X␈␈␈␈(
`π0λe∧→8⊗&εIH≥f(∧λLPλyH ∪∪$(fH¬(M⊂ →P ↔3$0fHε(MP
P ≠∪47&Hπ⊂MP∞IX ≥s$=&hπ`MM`T!fF↓8≥feQx≤&e2(≠&e"P~feβ→fds →&ds8_fdcX_&dSx↔fdT Ks2( ⊃¬iX∩⊂λrpMIλ∧H↔'∧4& 32_ ∪EYX⊃P
α`MHh¬⊂⊗&d4* ∪B⊂ ∃EIX⊃⊂ α`MHh¬H∃g∧$-Js2⊂ ↔%9X⊃⊂ rXNλH¬x∃fd$0Js2⊂ _e9`⊃⊂ BPMHHε(∃g∧∀3Js2⊂ ~¬)X⊃⊂
∩XNλHεP∃&d$6
SB⊂ ≠¬)X⊃⊂
bPNλHεx∀fd$8
SB⊂ ≤%→X⊃P∞∩PNλHπ_∀fd49JSB⊂ ≥%→`⊃⊂∞RPMHhπ0∀g∧$;JS2_ ≡¬→`⊃P∂αHNλHπH∃&d4=
3B_ ≡E)`⊃P∂2HMHhπ`∀g∧4>
SB_ ∨%→X∩⊂∂RHNλhπx∀g∧4?J3B_ ∨e→X∩⊂⊂α@N λλ∀g∧D@
3B_ E X∩⊂⊂"@N λλ⊂∀g∧DA
3B e X∩P⊂2@N (λ_∀g∧TAJ3B !% `∩⊂⊂R@N λλ(∀&dTBJ3B( !E `∩P⊂b@N (λ0∀'∧TC
∪B( !E `∩P⊂r8N (λ8∪fddCIsB0 !e `∪⊂⊂r@N Hλ8∀'∧dD sB0 "∧y`∪⊂⊃α8N Hλ@∪g∧dD sB0 "∧y`∪P⊂r8N hλ8∪g∧tCIsB8 "∧i`∪P⊃α0N hλ@∪'∧tD SB8 "∧i`∪P⊃α0N
λλ8∪'¬∧CISB@ !di`∀⊂⊂r0NIhλ8∪'∧tCI3B@ !DY`∀⊂⊂b(N
λλ0∩g¬∧C 3B@ !DY`∀P⊂R(NJλλ(∩g¬∧BI∪B@ !$I`∀P⊂B N
(λ_∩g%∧AI3B@ dY`∀P⊂" N
(λ⊂∩'¬∀A ∪R@ DI`∀P⊂∩_N
(λ∩'¬∀@ ∪RH ∨dI`∀P∂r_N
(πx⊃g%∀>I∪BH ∨$I`∀P∂R_NJ(π`⊃g¬∀=I∪BP ≡D9h∀P∂"_N
HπH⊃g¬$<λsRH ≡∧9`∃⊂∞r_NJ(π0⊃g¬$:HsRH ≥$)`∃⊂∞2_NJ(π_⊃g¬$8HsRH ≤$9`∃⊂∞α⊂NJHεp⊃g¬$7λSRP ≠∧9`∃⊂
B⊂NJHεP⊃g¬44HSRP ~∧9`∃P b_NJhε(⊃g%$2λsBX _d)h∃P ∩_NJh¬x⊃g¬4/HSRX ↔$9h∃P 2_NJh¬H⊃g¬D,λsR` ∃D9h⊗⊂
B_NKλ¬⊂∩'%D( ∪Bh ∪DIh⊗P B NKH∧H∩'%d#I3Rp ⊃∧ih↔Pλ∩0NKgr0NLπ28NLπ∩8NL&R@NLF∩HNLeRPNM%αXO
D"hNNβBxNOα#⊂NP∂ip ≡sT<gHπ(NP∞9h ≤3d6gHεPNP yp _sd0'H¬`O⊂ p ∃∪t''H∧POPλIx∨'g
_h¬~⊂∞j D xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ
∂λα≤NV`2⎇ ≡Pq!BO(2H
`z@≤(0
< G⊂:[ ←(z␈wt84= P 7≡←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(2H
`z␈wt84= P 7≡Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(0λ
`z@=
7≡P∧_¬␈␈␈␈xα λ␈␈␈␈`
λα(≤gλ∧pNP 9` ↔sD1'λε(N⊂
` ~SD5gλεhNP
i` ≠sD8'λπ⊂N⊂∞9` ≥∪D:gλπ0N⊂∞y` ≡∪D<gλπHN 4)'∧Pp ∩∪B( ⊂λ→`∩Gπ9`∩H&y`∩IεY`∩IF9`∩J&→`∩Jf `∩K%i`∩KEi`∩L¬I`∩L%I`∩LE9`∩Le9`∩M¬)`∩M%)`∩ME→`∩ME)`∩Me→`∩N¬→`∩N¬→`∩N% `∩N%→`∩NE `∩NE `∩Ne `∩Ne `∩O∧y`∩O∧y`∩O¬ `∩O$y`∩O$y`∩O$y`∩O% `∩ODy`∩ODy`∩ODy`∩ODy`∩ODy`∩ODy`∩Ody`∩Ody`∩Ody`∩Ody`∩Ody`∩Ody`∩Ody`∩Ody`∩Ody`∩Ody`∩OdyX∪∂dy`∪∂dy`∪∂dy`∪∂dy`∪∂dy`∪∂di`∪∂di`∪∂di`∪∂di`∪∂di`∪∂di`∪∂Di`∪∂Di`∪∂Di`∪∂Di`∪∂DY`∪∂DY`∪∂DY`∪∂$Y`∪∂$Y`∪∂$Y`∪∂$I`∪∂∧Y`∪∂∧I`∪∂∧I`∪∞dY`∪∞dI`∪∞DY`∪∞DI`∪∞$Y`∪∞∧Y`∪∞∧I`∪
dY`∪
DY`∪
$i`∪
∧i`∪ di`∪ % `∪ e→`∪ %)`∪
EY`∪ ε)`∪πfi`∪¬λ∧N @T'g∧`_ ∀∪B0↓P y`∪h∧pN @4&g∧`_ ∪∪B0↓P 9`∪h∧PN @4$g∧`_ ⊃sB0↓Pλi`∪h∧(N @4!g∧`_ ⊂3B0↓Pλ `∪gi`∪gI`∪g→`∪fiX∪@f9`∪@ey`∪@cy`∪@ai`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧yX∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `⊃'βI` gα→`¬gd xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ
∨λα≤NV`2⎇ ≡Pq!BO(@\*λz@≤(0
< G⊂:[ ←(z␈wt84= ⊂⊂q(>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(@\*λz␈wt84= ⊂⊂q(>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(>≤*λz@= ⊂`q(>P∧_¬λ␈␈␈␈x↓(∂P␈␈␈|`
XπH
%$98⊗fεY@≡&(∧⊂LP P ∪3∀)&H¬0M⊂ 9P ↔s$1fhε(M⊂
→P ≠347fHπ_MP∞YP→β')X↔εεYP⊗λε9X∃ F→X∀JF X∀ eiP∀ eiX∪MEiX∪N%YX∪∂%IX∪∂eIX∩Pλ"`MI(∧(∃fdT#Js2( ∩%9X∩P 2XMI(∧h∃fdT'Js2( ∀%9`∩⊂
2PMIλ¬(∃&dT+
S2( ∃e9X∩P ∩XMI(¬X∃'∧T.
S2( ↔%9X∩P rXN (ε∃&dT0Js2( _e9`∩P BPMI(ε(∃fdd3
SB( →e9X∪⊂
αXMIHεH∃g∧d5
s20 ~e9`∪⊂
BXMIHεh∃g∧d7
s28 ≠E9`∪⊂∞αXMIhπ∃g∧d9
s28 ≤E9`∪P∞"XMIhπ ∃g∧t:
s2@ ≥¬I`∪P∞bXMJλπ0∃g¬∧; ∪B8 ≡¬9X∀⊂∂αXN
λπ@⊗&e∀<JsB@ ≡E9`∀⊂∂"`MJ(πP⊗'¬∀=JsB@ ∨¬IX∀P∂B`N
(π`⊗'¬∀>JsBH ∨%9X∀P∂b`N
(πp⊗'¬∀? ∪BH ∨e9X∃⊂∂rXN
Hπx⊗'¬∀@ ∪BH ¬IX∃⊂⊂α`N
Hλλ∃g¬$@JsBP %9`∃⊂⊂∩`MJhλλ⊗'¬4@K∪BP EI`∃⊂⊂"`N
Hλ⊂⊗'¬$AJsBP e9X∃P⊂2XN
hλ_∃g¬4AJsBX e9`∃P⊂2XN
hλ_∃g¬4AJsBX e9`∃P⊂2XN
hλ_∃g¬4AJsBX e9`∃P⊂2XN
hλ_∃g¬4AJsBX e9`∃P⊂2PN
hλ_∃'¬4AJSBX e)`⊗⊂⊂"PN λλ⊂∃'¬DA
SB` %9`⊗⊂⊂∩PNJhλλ∃'¬4@JSBX %)`∃P⊂∩PN λλ∀g¬D@
3B` ¬→`⊗⊂∂rPNJhπx∃'¬4?J3B` ∨E→`⊗⊂∂bHN λπp∀g%4>J3BX ∨%→`⊗⊂∂BHN λπ`∀'¬D>
∪RX ≡e→`⊗⊂∂"@N λπP∀'%4=
∪BX ≡% `⊗⊂∂α@NJhπ@∀'¬4< sB` ≥E h∃P∞b8N
hπ0∪g¬D:
∪RX ≥∧y`∃P∞B8N λπ⊂∪g%49 sBX ≤Dih∃P∞α8N
hπ∪'%47 sBX ≠Dih∃P
R0N
hε`∪'%45ISBX ~Dih∃P
∩0N
hε@∪'%43I3RP →Di`∃P R(NJHε ∩g¬41I3RX _$Yh∃⊂ α(N
h¬x∩g%4.I3RP ↔∧Yh∃⊂ 2(N
h¬H∩g%4+I3RP ∃DYh∃⊂
R NJH¬_∩'¬4(I3RX ∪dYh∃P R(NJh∧X∩g%4$I3RX ⊃dYh⊗⊂λB(NKλ∧λ∪'%Cx∪'%S`∪'%SH∪g%c0∪gEc⊂∪g%rp∀'&αP∀g&" ∃gF1p⊗'&a0↔g'p_≠gHπ(O⊂∞)h ≠sd5gHε@NP Yp _3d.gH¬HOP
Ip ∪sd%fH¬MP
9P ∃s$.&h¬xM⊂ IP ~∪1xε⊂λ∀ @31`
Og@⊂Nε#Ch≤@S1@⊂O&@ N¬$cp↔A31 ∃⊂λα@∧&bBp ⊂$⊂PN∧F$!FAYXλM(∧@πD3A≤⊂ YXπOλε_Nβ(∧ _∪0h ⊂H¬xMCλ∧0 ↔∪@X ∩(¬PMBH∧` ⊗∪@H ∪h¬(MBλ¬⊂ ∃∪@0 ∃H¬λMA(¬H ∀∪0 ↔(∧hNHε ∩s0λ →λ∧H$3⊂λyp ⊃3T!gH∧λNOsc`NNsc@O
SS O SbxO ∪b@O 3bλOFsq(PCλOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂∀↑⊂ 9≥-F(z@= ∞⊂C¬≡PX}|?(8Pa xA∞'(6→>P∂(␈ohv@z@⊗∨Xq⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>PX}|?(␈ohv@z@⊗∨Xq⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PS}|?(z@↔?Xq⎇ λ0
/x␈␈␈pβ@∃ox␈␈␈@≠ @PGFrR(KK∪β⊂L∞∪βpLPλ)H ⊃rt&eH¬ K⊂ 9@ _3D1'λε_NP 9` →∪D2g(ε(N⊂ i` →sT3gλε@N⊂
` ~3D5'(εPN⊂
)` ~sD6'λε`N⊂
Y` ≠3D7'λεpN⊂
y` ⊂!α0N∂↓r N Cb N db_N %∩⊂N %"λN %2λN %2λN %BN %BN %QxN %QxN %axN %axN %axN %axN %axN %axN %axN %axN %axN %RN %RN %RN %QxN %BN %BN %BN %2λN %2λN %"λN %∩⊂N %∩⊂N %α_N $r_N $b N $R(N $B(N $20N $"8N $∩8N $α@N #r@N #RPN #2XN #∩hN T 'λεPN⊂
→` ~∪D4'λε8N⊂ i` →3D2'λε_N⊂ )` _3D/gλ¬pN⊂ I` ⊗sD,gλ¬8N⊂
I` ∀3D&gλ∧0N
sC8N∞∪CHN∞SCPN∞sC`N∂3ChN∂SCxMPλ→` ⊂3D!'λ∧_N⊂λI` ⊃∪D"gλ∧0N @∩N @∩N @"N @2N @2λN @BN @BλN @RλN @bλN @b⊂N @rλN AαλN Aα⊂N A∩⊂N A∩⊂N A"⊂N A2⊂N A2_N AB_N AR⊂N AR_N Ab_N Ar_N Ar_N Bα_N Bα N B∩ N B" N B" N B2 N BB N BB(N BR(N BR(N Bb(N Br(N Br0N Cα(N C∩(MIc∩0N c"0N c20N c20N cB0N cB8N cR8N cb8N cb8N cr8N dα8N dα@N d∩@N d∩@N d"@N d2@N d2HN dBHN dR@N dRHN dbHN drHN drPN eαPN eαPN e∩PN e"PN e"XN e2XN eBPN eBXN eRXMJ¬R`N
¬b`N
¬r`N
¬r`N
εα`N
ε∩`N
ε∩hN
ε"hN
ε"pN
ε2pN
εBpN
εCN
εSN
εcN
εc⊂N
εs_N
παpN
πα@N
π∩λN
π⊃`N g1(NλH∧λπ'βD#B3A0 ∪@)`λg↓9`αf`∀ xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ
?λα≤NV`2⎇ ≡Pq!BO(-&⎇`z@≤(0
< G⊂:[ ←(z␈wt84= (≠w≡←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(-&⎇`z␈wt84= (≠w≡Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(*f⎇`z@= x≠w≡P∧_¬_␈␈␈␈x↓⊂
⊂␈␈␈␈(
`¬λ eD 8∀fε→H≤&'iP ⊂S$#fH∧XM⊂ yP ∀s4+&H¬PMP IP _∪41&hε(MP yX ~S46&hεpMP∞ X ≤sBpλ
S2H∞ 320∩ SB_∃ ∪2⊂↔
sB→
S1x≠
3Ah≥
∪1h≡IsA`∨Is1` ⊂Di`
PλB0NεH∧8∩'β$$λS1P ∩D `
⊂ 1pNε(∧h∞'β∀'εSAH ∪c ` P
↓0Nε(¬λ
'β∧)∧sA@ ∀b→` ⊂
@xNε(¬ εgβ∀*β∪AH ∃!)` P
`@Nε(¬0βgβ∀+A3AH ∃`I`
⊂
p⊂NF(¬8gβ→`
'β)`
'β9`
g#9`
gβI`∞g#I`∞gβi`∂'#i`∂g∧ h⊂'∧→`⊃'$)`⊃g∧Ih∩g∧ih∪'∧yh∀'¬→h∃'¬9h∃g¬Yh⊗g¬yh↔gε→h→'&)`~'&Ih~gεih≠g&y`≤g'→h≥'')h≥gπIh≡''Ih≡''Yh≡g'Yh≡g'Yh≡g'Yh≡g'Yp≡''Ih≡''9h≥gG)h≥'')p≤'' p≠g&yp~g&Yp~'&9p→'&)p_'& p↔'%ip⊗'%Ip∃'%)h∀gE h∪g$yh∪'DYh∩'$9h⊃g$)h⊃'$→h⊂'$ h∂gβyh∂'#ih∞gβYh∞'#I`∞'#9`
g#)`
g#)`
'β)h R∨␈x␈i`$+F30_ ∃c→XαP
aHMAH¬0 fa∧+ε30H ∃C→X¬P
QHMC(¬ fad*ε31 ∀c→X ⊂
!HMDh¬⊂ fbT(F318 ∪c)X P aPMFh∧h
&cT&ε31x ∩C)X⊂P ⊃PMHh∧8
g∧D#εSB0 ⊂c9h∪⊂λ⊃`NIga`NIgAhNJπ⊃pNJ&QxNJF∩λNJeR⊂NK¬∩_NKD20NL#2HNM"αpNP∞)p ≠sT6g(εXNP
→p →ST2'HελNP ip ⊗sT,gH¬(O⊂
→p ∪Sd%'H∧0OPλ p≡'fix_(∧zλ∞hA4 xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ
Oλα≤NV`2⎇ ≡Pq!BO(4Jv`z@≤(0
< G⊂:[ ←(z␈wt84=
⊂+[≡←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(4Jv`z␈wt84=
⊂+[≡Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(2
v`z@=
`+[≡P∧_¬ ␈␈␈␈x (␈␈␈␈`
⊂α`α⊂⊃PHMB(π8
&at.KS10≤⊂ YX &s4N&h `MP∪YX '34Nfh pMP∪iX 's4Ofh xMP∀ X (∪4Pfh
λMP∀)X (S4Q&h
_MP∀9X )∪4R&h
(MP∀YX )34S&h
0MP∀yX )s4T&bs⊂ ↔s1≥P YX¬Pλ∩XL30@ ⊃%0x⊃&`T$JcA(M@h∧`∃J↓∞X∃g%)`∃'¬)`∃'¬)`∃'¬→`∀g¬→`∀g¬→h∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'$i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧ih∩g∧Y`∩g∧Y`∩g∧Y`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧Ih⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃'∧)`⊃'∧)`⊃'$→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂g∧→`⊂fd)`⊃'∧)`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃g∧9`⊃fdI`∩'∧I`∩'∧I`∩'∧Y`∩g∧Y`∩g∧YX∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪fe `∀'¬ `∀'¬ `∀'¬ `∀&e `⊃gβY` gα)`ε'iX↓⊃≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."⊂| G⊂:[ ←(z@≤(0
=
P7P↑Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(6Mt⊂z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇
P7P↑←x←Qm∂(6Mt⊂z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇
7P↑P∂(9
t⊂z@⊂`λ?␈x␈␈`@4?␈x␈}`8πh ⊂MP⊗)X ,S4Y&h ⊂MP⊗)X ,S4Y&h ⊂MP⊗)X ,S4Y&h ⊂MP⊗)X ,S4Y&h ⊂MP⊗)X ,S4Y&h ⊂MP⊗)X ,S4Y&h ⊂MP⊗)X ,S4Y&h ⊂MAhεx∂c4@π0∂'βiX∂gβy`∂gβy`∂gβy`∂gβy`∂fd `⊂'∧ `⊂'∧ `⊂'∧ `⊂&d→`⊂g∧→`⊂g∧ `⊂'∧ `⊂&d→`⊂g∧→`⊂g∧→`⊂g∧→`⊂fd)`⊃'∧)`⊃'∧)`⊃'∧)`⊃&d9`⊃g∧9`⊃g∧9`⊃g∧9`⊃fdI`∩'∧I`∩'∧I`∩'∧I`∩&dY`∩g∧Y`∩g∧Y`∩g∧Y`∩fdi`∪'∧i`∪'∧i`∪'∧i`∪&dy`∪g∧y`∪g∧y`∪g∧y`∪fe `∀'¬ `∀'¬ `∀'¬ `∀&e→`∀g¬→`∀g¬→`∀g¬→`∀fe)`∃'¬)`∃'¬)`∃'¬)X∃g¬9`∃g¬9`∃g¬9`∃g¬9X⊗'¬I`⊗'¬I`⊗'¬I`⊗'¬IX⊗g¬Y`⊗g¬Y`⊗g¬Y`⊗fei`↔'¬i`↔'¬i`↔'¬i`↔&ey`↔g¬y`↔g¬y`↔g¬yX_'ε `_'ε `_'ε `_'ε X_gε→`_gε→`_gε→`_ff)`→'ε)`→'ε)`→'ε)X→gε9`→gε9`→gε9`→ffI`~'εI`~'εY`~ffi`≠'εi`≠'εi`≠&fy`≠gεy`≠gεyX~g¬y`∃'∧I`∂'β→X
'↓i`∧g4 xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ
←λα≤NV`2⎇ ≡Pq!BO(<VCPz@≤(0
< G⊂:[ ←(z␈wt84= ∂⊂Z∞↑←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(<VCPz␈wt84= ∂⊂Z∞↑Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(:⊗CPz@= ∂`Z∞↑P∧_¬(␈␈␈␈xα
λ␈␈␈␈(
(∧8↓ea 0π⊂⊂0(K¬λπh¬ec∀;D2ax ≤Bi0∩P∞↓@KJHπ '¬$8ε∪RH ≤β `∀P∞↓@N
(π '¬∀8ε∪BH ≤β `∀P∞↓@N
(π '¬∀8ε∪BH ≤β `∀P∞↓8N
(π g¬∀8ESBH ≤"i`∀⊂∞!0N
λπ⊂ '¬∧9¬SB@ ≤Bi`∀⊂∞!0N
λπ⊂ '¬∧9¬SB@ ≤Bi`∀⊂∞!0N
λπ⊂ '$t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞!0N hπ⊂ '∧t9¬SB8 ≤Bi`∪P∞⊃8N hπλ g∧t8EsB8 ≤"i`∪P∞⊃0N hπ g¬∧7EsB@ ≠by`∀⊂
q8N
λεp g¬∧7¬sB@ ≠# `∀P
A@N
(εX '%∧5F∪B@ ~C→`∀P
⊃HN
(ε@ g¬∀4ε3BP →C)h∀P aHN
Hε
'¬$1FSBX _#9`∃P ⊃XNJh¬x
g¬D.G∪B` ↔βI`⊗P !hNK(¬@∞g¬d+πSBx ∃βih↔P
!xN λ∧x⊂'&∀&λ∪C⊂ ∩D→`~⊂λb⊂NM(∧⊂⊃gεsp∩g'βP∪'π#0∪g'C∀g'rH⊗'λ∧_⊂KsT$DfY` $∪TG'(λ`NP⊃)` "3TCg(λ(NP⊂9h ∪T?'(π`NP∂→h ≥sd:'(πλNP
yp ~sd3g(ε O⊂ p ↔∪d,'h¬_OP Yx ∩∪t!(π*⊂_(d:pαQ≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."+< G⊂:[ ←(z@≤(0
=
P7P↑Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(6Mt⊂z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇
P7P↑←x←Qm∂(6Mt⊂z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇
7P↑P∂(9
t⊂z@⊂`∃←␈x␈␈`α4@5 `I8∧eAtM↓2a( %↓98
⊂⊃pxKλλλH
eDtC¬SαX !Bih∃⊂⊂a(O
λλ0
g$tC¬∪b0 !"Ih∩P⊂Q_NIλλ
'$DADsR_ b9h⊃⊂⊂1⊂NHHλ⊂ '∧$@DsRλ ")h⊂P⊂↓⊂Nλ(λλg$∧?DSBλ ∨B→h⊂⊂∂aλNλλπhλg$∧>∧3B ≡b)h∂P∂1λNλλπH '∧∧<D3Qx ≡"→`⊂⊂∞qλNGhπ8λg∧∧:DSB ≥"→h∂P∞A⊂Nλλπ_λg#t9D3Ax ≤B)h∂P∞⊃λNπhπ 'βt8∧3Qx ≠B)`∂P
aλNGHεpλgβt6∧SQp ≠α→`∂P
!⊂NπhεPλg#d4DSAx ~α→h∂⊂
↓λNπHε8 'βt3∧3Qp →")`∂⊂ QλNGHε_ 'βd1D3Qp _B→`∂⊂ ⊃⊂NπHελλg#d/DSAp ↔b→h∞P a⊂NπH¬hλgβd.∧SQh ↔α)`∂⊂ 1λNG(¬P 'βT-∧3Ap ⊗α)h∞P ↓λNπH¬0 '#T+∧SAh ∃B→`∂⊂
A⊂NG(¬ λgβT)DSQh ∀B→`∞P
⊃⊂Nπ(¬λ '#T'DSAh ∪b)h∞P aλNπ(∧h 'βT&DSQh ∩b)`∞P 1⊂NGλ∧P 'βT$DSAh ∩"→h∞Pλq⊂Nπ(∧8 '#D#∧SAh ⊃")`∞PλA⊂NGλ∧ 'βT!∧SQ` ⊂B)`∞⊂λ!⊂Nπ(∧ '#D ∧SAh∨∧SQ`∨∧SA`≡DSAh≡∧SQ`≥DsA`≥DSQ`≤DsA`≤DSA`≤DSQ`≠DsA`≠DSAh~DsQ`~DSA`~∧sQ`→DSA`→∧sA`→∧sQ`_DSA`_∧sQ`↔DSA`↔∧sA`↔∧SQ`⊗∧sA`⊗∧sA`∃DsQ`∃∧sA`∃∧SQ`∀∧sA`∀∧sA`∪DsQ`∪∧sA`∩DsA`∩DsQ`⊃DsA`⊃DsQ`⊂E∪A`⊂DsA`⊂DsQ`∂DsA`∂DsA`∂∧sQ`∞DsA`∞¬∪Q`
DsA`
¬∪A`
∧sQ` ¬∪A` ¬∪A` E∪Q` ¬∪A` ∧sAh
¬∪Q`
∧sA` E∪Q` ¬∪A`λE∪A`λE∪Q`πE∪A`πE∪AhεE∪Q`εE∪A`εE∪Ah¬E∪Q`¬E∪A`¬¬∪Q`∧E∪A`∧¬3AhβE∪Q`β¬3A`β¬∪Ahα¬3Q`α¬∪Ah↓¬3Ah↓¬3Q`E3C⊂N 3SN ∪BxNKSBhNK∪BXN
sRPN
3BHNIsB8N sR(N 3B NHsB⊂NλSRλNλ∪BNGSApNπSQ`Nπ∪AXNFSAHNF∪A@N¬hOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂∃}⊂ 9≥-F(z@= ∞⊂C¬≡Pλ!f←∂(8Pa xA∞'(6→>P∂(␈ohv@z@(9P|=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pλ!f←∂(␈ohv@z@(9P|= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pλ≤f←∂(z@)YP|= λ0
␈x␈␈␈p`(?x␈␈␈p≤ `λN@(⊂λ≥3@_ @&`_NAλ⊂λ→↓∪@( @&(NAH⊂λ⊗↓S@@ @%@NB(⊂λ∩α3@P @$ PNBh⊂λ∂β∪@h @# hNCH⊂λ CS@x @"@xN∧(⊂λλ∧3Q⊂ @!A⊂N∧h⊂λ¬∧sQ @ a N¬H⊂λ↓¬SQ8 ?C ` ⊂∨A@NεH∂@
'#4zεsAh <βYh∞P≥ahNπh∞P∂g$∧sλ3B⊂ 8d→`⊃P≤α_NIλ
`∩'∧dl SR( 6∧i`∩P≠α(NI(
0∪'∧Tk 3B( 5DYh∩P~R(N (
∩g$Dj 3B 5∧I`∩P~"(NIλ
⊂∩g∧Di ∪R 4$I`∩⊂~α N λ
∩'$4h ∪B 3DIh⊃P→b Nλh p∩'∧DfHsR_ 3∧I`⊃P→B_NHH `⊃g∧4e ∪B_ 2D9h⊃⊂→"_Nλh H⊃g∧4dλsR⊂ 2∧9`⊃P_r⊂Nλh 0⊃g$$cλsB_ 1$)h⊃⊂_B_NλH ⊃g∧$bλSR⊂ 0d)`⊃⊂_"_NλH ⊂⊃'$$`HSB⊂ 0∧9`⊃⊂_α⊂NHH¬p↓⊂ r⊂NλH¬p↓⊂ b_NλH¬p↓P R⊂NHH¬`α⊂ R⊂NλH¬`αP 2_NH(¬Xβ⊂ 2⊂NλH¬PβP "⊂NλH¬H∧⊂ ∩_NH(¬H∧P α⊂NλH¬@∧P α⊂NλH¬8¬⊂
r_NH(¬8¬P
b⊂NλH¬(ε⊂
b⊂NλH¬(εP
B⊂NH(¬ π⊂
B⊂NλH¬_πP
2⊂NλH¬⊂λ⊂
"⊂NH(¬⊂λP
∩⊂NλH¬λλP
∩⊂NλH¬ P r⊂NH(¬ P r⊂NλH∧p
P b⊂NλH∧p
P R⊂NH(∧h P B⊂NλH∧` P B⊂NλH∧X P "⊂NH(∧X P "⊂NλH∧P
⊂ ∩⊂NH(∧H
P α⊂Nλ(∧H∞⊂λr⊂NλH∧8∞Pλr⊂NH(∧8∂⊂λR⊂Nλ(∧0∂PλR⊂NλH∧(⊂⊂λB⊂NH(∧ ⊂Pλ2⊂Nλ(∧ ⊃⊂λ"⊂NλH∧⊂⊃Pλ"⊂NH(∧⊂∩⊂λα⊂NλH∧∩Pλα⊂NλH∧∪∂d)h⊂Pλα0∨λSB⊂∨
πR⊂NλGb@≡HSRλ≡JG2_NλGBP≥HSB⊂≥Kπ"⊂NH'2`≤HsB⊂≤KGα⊂NλG∩p≤λSRλ≤ εb_NλFs≠λSB⊂≠ FR⊂NH&c⊂~λsB⊂~
ε2⊂NλFC →HSRλ→MF∩_NλF#0_HSB⊂→
fα⊂NH&∪@↔HsB⊂_∞%b⊂NλEsP↔λSRλ↔NeB_NλES`⊗λSB⊂⊗O%"_NHE3p∃λsB⊂∃Oe∩⊂NλE$
∧9h⊃
(∧λ∪HsB⊂∀⊂λ"8⊃'∧"@ ⊂dR_NHDd" $9`⊃ H∧(∩λSB⊂∩Pλb_⊃g$" ∩$"⊂⊃g∧"_∩@$"⊂⊃'∧"_∩d"⊃g$"λ∩@d"⊃g∧"λ∩↓$!x⊃g∧"∩A$!p⊃g$!x∩↓d!h⊃g∧!p∩Ad!h⊃g∧1h∩α$!X⊃g$!`∩B$!X⊃g∧!`∩αd!P⊃g∧1P∩Bd!H⊃g∧1P∩β$!@⊃g$!H∩C$18⊃g∧1@∩βd!0⊃g∧18∩Cd1(⊃g$!8∩∧$! ∩'∧1(∩D$1_⊃g∧1(∩∧d!_⊃g$! ∩Dd1λ∩'∧1_∩¬$!λ∩'∧1⊂∩¬D1⊃g$!⊂∩¬D0x∩'∧1∩ε∧0p∩'∧1∩ε∧0p⊃g$0p∩εD0`∩'∧0p∩εD0`∩'∧0h∩π∧0X⊃g$0`∩π∧0P∩'∧0X∩πD0H∩'∧0P∩GD0H⊃g$0H∩λ∧08∩'∧0@∩H∧08∩'∧0@∩λD0(∩'$00∩HD0(∩'∧00∩ ∧0 ∩'∧0(∩I∧@⊂∩g∧@ ∩ D0⊂∩'$0_∩ID@λ∩'∧@⊂∩
λ∧@N ∩(∀⊂λyh ∩¬$#'λ∧@∃⊂λi` ⊃eD"'(∧0⊗⊂λI` ⊃%d!gλ∧(↔⊂λ9h ⊂f∧ gλ∧__⊂λ→` ⊂F∀ g(∧λ→∂sD gy`∨M'i`∨M'Yh≡MgI`≡MgI`≡∞')h≥N')`≥∞g→`≥∞g→h≤∂&y`≤∂&y`≠Ofih≠∂fY`~Pλ∪ N
(∧λ~'εD!LsS_ ⊂f)`→⊂λSλN H∧(_g&∧#KsC ⊃ey`↔P ∩pNKH∧H⊗g¬T% 3Bh ∩eIh∃P B`N
h∧h∃'¬$'
SBP ∪e→h∀⊂
α@Tεh¬⊂∪jAT xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ ∂λα≤NV`2⎇ ≡Pq!BO(<VCPz@≤(0
< G⊂:[ ←(z␈wt84= ∂⊂Z∞↑←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(<VCPz␈wt84= ∂⊂Z∞↑Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(:⊗CPz@= ∂`Z∞↑P∧_¬@␈␈␈␈x↓∞␈␈␈␈P
0∧(αeA4CRaλ y8 ⊂∂0`Kπλπ(λeD$8¬2r8 ~C90⊗P BK
λ¬x⊃eg∀/Hs3P ↔d)h≤P b⊂NN(¬h⊂g'∧.λSS8 ↔∧→h≠P "λNMH¬P⊂gεt,λ3S0 ⊗∧ h≠⊂
bλNM(¬0⊂'&T*λ∪S( ∀cy`~P
"NM(¬λ∂g&T'GsC0 ∪$ h~P QxNM(∧X∂g&T$H∪C( ∩#yh~PλqxNM(∧(∂gεd"πsS( ⊂cyh~Pλ⊃xN
H∧∂g&cp∂g&Sh∂gεc`∂'&cP∂g&SH∂gεc@∂'&c0∂gεs ∂g&c ∂'&c⊂∂gεs∂g&rx∂'&bp∂'εr`∂g&rP∂g&rH∂'εr@∂g&r0∂g&r(∂'εr ∂'&r⊂∂g&rλ∂'π↓x∂'&qp∂g&qh∂'π↓X∂''↓H∂g&qH∂'π↓8∂''↓(∂''↓ ∂'π↓_∂''↓λ∂''x∂gπ⊂p∂''h∂''X∂'π⊂P∂''⊂@∂'π⊂8∂''⊂0∂''⊂ ∂'π ⊂∂''⊂⊂∂'(¬8N⊂
ih ∃∪T)gλ¬⊂NP
h ∪sD''(∧`NP )` ∩ST$'(∧0N⊂λih ⊃∪T!'λ∧⊂NPλ `∨g'Yh≡'πIh≡''I`≡''Ih≡'πYh≡''I`≡g'Yh≡gπYh≡gπih∨''Y`∨''ih∨'πih∨'πyX ⊂3D!&h∧_MPλY` ⊃S4$&h∧HN⊂ )X ∪∪4''λ∧xMP
X ∀S4*'λ¬(MP
yX ⊗∪D,fh¬XMP Y` ↔S1hPλ→X∞@H∧⊂MG@4!'βP( ⊂S1hβ⊂λ)X∞Bλ∧⊂Nπ!∀!&cPP ⊂s1hε⊂λ9`∞C(∧⊂MG!d!fcQ ⊂s1pλ⊂λI`∞DH∧ MG"D!fcQ( ⊃∪Ah ⊂λIX∞Fλ∧ MG#∀"gβQP ⊃∪1h∞⊂λIX∞G(∧(MG#t"gβQx ⊃S1h⊂PλYX∞Hh∧(Nπ$4#&cR( ⊃S1h∪PλiX∂ h∧0Nπ%∀#&cRX ⊃S1h⊗⊂λy`∞K(∧8MG%d$&cS ⊃sAh_PλyX∞LH∧@MG&D$&cS0 ∩∪Ah≠⊂ X∞Nλ∧@MG'∀$gβSP ∩31h≡⊂ →X∞O(∧PMGGd$gβT ⊂ →X∞Pλ∀%&cT!P )`∞PλD%&cT"P )X∞Pλt%&cd#P 9`∞P ∀%fcT%P 9X∂⊂ 4&'βT&P 9X∞P t%fcT(⊂ IX∂⊂
∀&'βT)⊂ YX∞P
D&fcd*P →`∞P
d!fcT,∂∪1X ↔εiX P ∪N∧(ε@∀faD7Hs0@ ≥βY`↓⊂∂10$>D3PPN@hOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂⊗>⊂ 9≥-F(z@= ∞⊂C¬≡Py-π/(8Pa xA∞'(6→>P∂(␈ohv@z@≡+ ≥=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Py-π/(␈ohv@z@≡+ ≥= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>Pt-π/(z@∨K ≥= λ0 ∨x␈␈␈p↓ ≤/x␈␈␈@~`π`0Kβλ Pα%b$IB2aH #!Y0⊂⊂⊂a⊂KI(λ %ED=π∩c_ ≤d→8≤⊂
R0K∂hε`∩gλ∧ ~Dip∨P
∩(NOHεH∩'GT3I∪Sh →D9h≡⊂ R NOλε ⊃g'D1λsSX _$9h≥P α⊂NNh¬p⊃g'4.λsCX ↔∧)h≥P "⊂NNh¬@⊃''$,λSSP ∃D)h≥⊂
B⊂NNH¬_⊂g'∀)λ3CP ∀∧)h≥⊂ rλNN(∧p⊂g'∀&λ3SH ∩d h≤P ∩λNNλ∧H⊂'π∀#H∪SH ⊃$ h≤⊂λQxNNλ∧_⊂''∧ H∪S@ ⊂βyh≠Ocy`≤∂#yh≤∂βyh≠Ncyh≠N#yh≠Nβih≠
cih≠
#y`≠Mβih≠LCih≠ #ih≠ βYh≠ Cih~K#i`≠ βYh≠
CYh≠
βYh~Icih~ICYh~IβY`~HcYh~HCIh~HβYh~GCYh~πCIh~πβIh~εCI`~εCIh~εβIh~¬CIh→EC9h→Eβ9h→DCI`~∧#9h→Dβ9h→CC9h→C#)h→ββ9`→BC9h→B#)h→Ac)h→↓C)h→↓β9h→c)`→C)h ∪∪T%'(∧HNPλyh ⊃3D"'(∧⊂NPλ→h∨g'Y`≡'')h≤g&yh~gεIh→'&→h↔g%ih⊗g¬Yh⊗'%9h∃'¬)`∃'¬)`∃'%→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→`∀g¬→X∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃&e9`∃g¬9`∃g¬9`∃g¬9`∃g¬9X⊗'¬I`⊗'¬I`⊗'¬→`∩&cy` gαI`π'↓ `↓Q≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."-< G⊂:[ ←(z@≤(0
= ⊂⊂q(>Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(@\*λz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ ⊂⊂q(>←x←Qm∂(@\*λz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ ∂@q(>P∂(C≤*λz@⊂`⊗←␈x␈␈`∧> 4
λ XMP↔I` /∪D↑'λ `MP↔Y` /3D↑gλ hMP↔i` /SD←&h xN⊂↔y` /sD←fh N⊂_ ` 0∪D`&h λN⊂_→` 03D`&hπhPλ)` ≤↓T!'λε( Pλ)X ↔∧∧!'λ¬ ∪Pλ9` ∪¬d!gλ∧(~⊂λ9X∨Nh∧⊂N∞(∧ ⊂SC_ ⊃(∧⊂N H∧H ⊂S2X ∪λ∧⊂N h∧x ⊂SB ∀(∧_MHH¬_ ⊂sAx ∃(∧_Nπλ¬@ ⊂SAH ⊗H∧⊂MFλ¬X ⊂SA( ↔(∧⊂N∧h¬p ⊂SAλ ↔h∧⊂MChελ ⊂s@h _H∧_Nαhε_ ⊂s@H →(∧⊂MBλε0 ⊂S@0 →h∧⊂N↓(ε8 ⊂S0 ~λ∧⊂NHεH ⊂S@λ ~(∧_$4Pλ9X ⊂sD!&h∧⊂MPλ)X ⊂S4!&h∧⊂MPλ9X ⊂s4!gλ∧⊂MPλ)X ⊂S4!&h∧⊂MPλ)X ⊂s4!fh∧_N⊂λ)X ⊂S4!&h∧⊂MPλ)X ⊂S4!fh∧_MPλ9` ⊂S4!&h∧⊂MPλ)X ⊂S4!&h∧_MPλ9X ⊂s4!gλ∧⊂MPλ)X ⊂S4!&h∧⊂MPλ9X ⊂s4!fh∧_N⊂λ)X ⊂S4!&h∧⊂MPλ)X ⊂s4!fh∧_MPλ9` ⊂S4!&h∧⊂MPλ)X ⊂S4!fh∧_MPλ9X ⊂sD!&h∧⊂MPλ)X ⊂S4!&h∧⊂MPλ9X ⊂s4!gλ∧⊂MPλ)X ⊂S4!&h∧⊂MPλ)X ⊂s4!fh∧_N⊂λ)X ⊂S4!&h∧⊂MPλ)X ⊂S4!fh∧_MPλ9` ⊂S4!&h∧⊂MPλ)X ⊂S4!⊂⊃@λMPλ4Es4!P⊃⊂(MPλ4D↓SD!⊂⊂p@MPλ$BBs4!⊂⊂@`MPλ$ACS4!⊂⊂⊃λMPλ$@∧s4!P∂Q(MPλ4>¬s4!P∂!PN⊂λ$<π34!⊂∞axMPλ$9Hs4!⊂∞∩0MPλ$7
34!⊂
2hMPλ43L34!P 30MPλ4/NSD!⊂ ∀ fh∧⊂ ∀h∧@MPλ$&⊂
X ⊂H∧ ⊗∪4!∞hε⊂MPλ#λ ≠34!IλπPMPλ1( "34q'λ∞⊂N⊂≤→` 83Dpgλ∞λN⊂≤ ` 8∪Dp'λ∞N⊂≠y` 7sDogλ
xN⊂≠i` 7SDo'λ
hN⊂≠Y` 73Dngλ
`N⊂≠I` 7∪Dn'λ
X"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\DελxA∞'(6→>P∂(8Pa z@∀≤h>= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PPs/O(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@∀≤h>=?{x#Z≡PPs/O(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∩|h>= ≡PUs/O(!@0␈␈␈x␈@πZ?␈␈x|L@≥
2c0LO∪∀!&H∧8M⊂ 9X ∪3$(fh¬_MP
YX ∃s4,fh¬XN⊂ IX ↔S40'λελMIA∪_MI!sN α2pMIαbhNλcα`Nλc"XMHcBXNλcRPNλcbPMIβrPN ∧αHN ∧∩HMIDαHN D∩@N D"@N D"@MJ∧"8N
∧"@N
∧"@N
∧28MJ∧B8NλE"8Nπ%r8N¬fR8MDG28Nβ(∧∪gt# s@λ ∪∧}H∪g∧wλ ∧dy0 ⊗∪∧.&H¬pM⊂ P _S41fHε(MP iX →s44&hεHMP
)X ~s46&hεhN⊂
YX ≠S47fhπMP∞→` ≤349&hπ_MLc20N Dα0MJdB0N
$b0MJ¬α0MJ¬∩0N e"0MIe20N EB0MIER0N ER0N %b0MIEb0N %r0N %r0MIEr0N Er0N &α0MIFα0N Fα0N Fα0N Fα0MIfα0N fα0N fα0N fα0N fα0N fα0N fα0N fα0N er8N er8N er8N er8N er8N er8N
¬b8N
¬b8N
¬b8NIeb8N eb8N
¬B@N
¬2HN
¬"PN
%αXNJ∧bhN
$BpN
$2xN
D∪N
Cs⊂NJCS ⊃A3BX
cPHN αsP β∪R`
∂B xN At"αB9`_Bλε NP∪9` &SDLg( 8N⊂∩ih %∪DIg(∧hPλ9` ∪$!'(∧P↓Pλ→h ⊃`T 'λ∧0β∂sT"↓gih ⊂AβhN⊂λP≡''``≥''0p≤g'↓≤'&aλ≠g&1 ~g&↓0~'E1P→'%↓`_gD2↔gCb_↔'br@⊗'abx∃6E h∪'D9h⊂gCip
hαj⊂πQ≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."1< G⊂:[ ←(z@≤(0
= @Q`≡Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(2∀8z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ @Q`≡←x←Qm∂(2∀8z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ pQ`≡P∂(4T8z@⊂`_←␈x␈␈`π`-?␈x␈}@=@∩→X↓&`9Xα&`YXβ&`yX∧&a→X¬&a9Xε&aYXπ&ayXλ&b→X &b9X
&bYX &byX &c→X
&c9X∞&cYX∂&cyX⊂&d→X⊃&d9X∩&dYX∪&dyX∀&e→`∀g¬→h∀'¬ `∀'$y`∪g∧yh∪'∧i`∪'∧ih∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Rλλg∧Qh∂'∧QP∩g∧Q@∃g∧Q0_'∧Q ~'∧Q_≠g∧Qλ≥g∧Q≡g∧Px ⊂∪B(εPλ9`∩Cλ∧(N !4#g∧PP ∩3B(∧P 9`∩Bλ∧hN t'g∧P0 ∀3B(αP
)`∩Aλ¬ N 1`¬KsB(↓εα2hN ⊃0 ∪CP∞
SC@⊂
3C8⊃
3C(∪ sC ∀ sC_∃ sC⊂⊗ SCλ↔ SC_ 3Bx→ 3Bp~I∪Bp≠λsBh≤λsB`≤HsBX≥HsBX≡λSBP≡HsBP∨λSBH∨HSBH∨HsB@ ⊂$)`∀⊂λ∩_N h∧⊂⊃g∧t!λsB0 ⊃∧9`∪⊂λB_MIh∧ ⊃g∧d"I∪B0 ⊃$I`∪⊂λR N H∧0∩'∧d# ∪B0 ⊃DI`∪⊂λb N H∧0∩g∧d# 3B0 ⊃DY`∪⊂λb(N H∧0∩g∧d# SB0 ⊃Di`∪⊂λb0N H∧0∪'∧d# SB0 ⊃Di`∪⊂λb0N H∧0∪'∧d# sB0 ⊃Dy`∪⊂λb8N H∧0∪g∧d# sB0 ⊃Dy`∪⊂λb8N H∧0∪g∧d# sB0 ⊃Dy`∪⊂λb8N H∧0∪g∧d# sB0 ⊃Dy`∪⊂λb8N H∧0∪g∧d# sB0 ⊃Dy`∪⊂λb8N H∧0∪g∧d# SB0 ⊃Di`∪⊂λb0N H∧0∪'∧d"IsB0 ⊃$yX∪PλR8N h∧(∪g∧t"ISB8 ⊃$i`∪PλR0N h∧(∪'∧t" sB8 ⊃∧i`∪PλB0N h∧ ∪'∧t" SB8 ⊂di`∪Pλ20N h∧_∪'∧t! SB8 ⊂Di`∪Pλ"0N h∧λ∪'∧t ISB8 ⊂$i`∪Pλα0N h∧∪'∧sx∪'∧sx∪'∧sp∪g∧sh∪g¬β`∪g¬∪P∪g¬∪H∀'¬#@∪g¬30∀&eC(∀'¬S_∀'¬cλ∀g¬rx∀gεαh∃'ε∩X∃'ε"@∃gε20⊗'εR_⊗'εqx⊗gπ⊃X↔'πA0_'πq→'λλN⊂∂y` ∨SD>g¬λ ∀sB@↓⊂
→`∀h∧xN
T&'¬0 ∩SB8∧⊂λy`⊃βH∧(Nπαd gαap≡fb" ≥'↓B`≠'c _g∪`∃7∧: ⊃≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."1| G⊂:[ ←(z@≤(0
= ⊂∃∩>Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(0E$Hz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ ⊂∃∩>←x←Qm∂(0E$Hz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ @∃∩>P∂(3¬$Hz@⊂`_␈␈x␈␈`¬@-∨␈x␈⎇ '@→bI(⊃eeY@~f'IH ⊂S∀$&H∧hM⊂
→H ∃S$-fH¬xMP )P →3$4fhε`M⊂
yX ≤∪$9&hπ_MP∞IX ≥3$;fhπ@MP∂→X ≡S3p∧M∪3H K∪38∂
∪3(∩I∪3 ∃λ33_↔πs3⊂→π3C≠FS3≥ε∪2x≡Es2x ⊂αYX↔Pλ1_N H∧( &ed$∧∪2p ∩Ay`⊗P @pMK(∧xε&eT(BsBh ∀A)X⊗P
@HN λ¬0∧&eD,↓sB` ⊗ iX⊗⊂ 0(N λ¬`α&eD/sBX _)X⊗⊂ ⊂λN
hε⊂feI`∃g¬9X⊗'¬9`∃fe9`∃g¬9X∃g¬9`∃g¬)`∃&e9`∃g¬)`∃'¬)X∃g¬9`∃g¬9`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃'¬)`∃g¬9`∃g¬9`∃g%)`∃g¬9`∃g¬9h∃g¬9`∃g¬I`⊗'%I`⊗'¬D7@3R` ≠@→`⊗⊂
`λN (ε`g%D63Bh ~@)`↔⊂
⊂⊂NK(ε@↓g¬d3sBx → 9h↔⊂ @ N hε_α'%t0A3C ↔`ih↔P `0N λ¬hβ'&∧-AsCλ ⊗! h_P
pHN H¬(¬'&$)BSC_ ∀!9h→P p`NMλ∧`εgεT$CsS( ⊃ayh≠⊂λAN
h∧λ ''βp g'∪P
g'#0 g'3⊂ 'πRp
''r@∞g(∧λ⊃λ∪T"εd9h ∩!rHNP∂yh ∨ST>g(πXNP∂ p ≥∪T8g(εpO⊂
)h →ST1gH¬xO⊂ )p ∃3d('H∧XO⊂λYx∨'fyx↔h∧Z⊂ ⊃≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."2< G⊂:[ ←(z@≤(0
= P m}Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(.B;8z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ P m}←x←Qm∂(.B;8z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ m}P∂(1α;8z@⊂`→∨␈x␈␈`ε&?␈x␈}@<@& →X↓&`9Xα&`YXβ&`yX∧&a→X¬&a9Xε&aYXπ&ayXλ&b→X &b9X
&bYX &byX &c→X
&c9X∞&cYX∂&cyX⊂&d→`⊂g∧→`⊂g$ `⊂'∧ h∂gβy`∂gβy`∂g#i`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂≤aqP∂%C!(∂&$↓⊂∂&$`x∂&%0h∂&EpX∂&F0H∂&fP@∂&G⊂0∂&G@(∂&g` ∂&h∧↓GS$!@CiX ⊃ ⊃pMP YX →S43fhε@MP
→X ~S45fhε`N⊂
IX ≠347&hεxN⊂
yX ≤∪48gλπλMP∞)X ≤sD9fhπ N⊂∞IX_Bg→`⊗DfYX⊗εε)`∃Ff X∃πei`∀HEIX∀I%)`∀ e→X∀
Dy`∀
di`∪K$YX∪KdI`∪L∧9X∪LD)`∪Ld→`∪
$ X∪M$ `∪
cy`∪
cyX∪Mcy`∪∞βy`∪∞βy`∪∞βyX∪∞#y`∪∞#y`∪∞#y`∪∞#yX∪N#y`∪∞Cy`∪∞Cy`∪∞Cy`∪∞CyX∪NCy`∪NCy`∪∞cy`∪∞cy`∪∞cy`∪∞cyX∪Ncy`∪Ncy`∪Ncy`∪Ncy`∪Ncy`∪Ncy`∪∂βy`∪∂βy`∪∂βy`∪∂βy`∪∂βyX∪Oβy`∪Oβy`∪Oβy`∪Oβy`∪Oβy`∪Oβy`∪Oβy`∪Oβy`∪Oβy`∪Oβy`∪Oβy`∪Nd `∪Nd `∪Nd `∪Nd `∀∞D h∪ND `∪ND `∪ND `∪ND `∪ND `∀∞$ h∪N$ `∪N$ `∪N$ `∀∞∧ `∀∞∧ h∪N∧ `∀
D→`∀
D→`∀M∧)h∀
∧)`∀LD9`∀L$Ih∀L∧I`∀KdY`∃ $ih∃
dy`∃
E h∃
¬→`∃IE)`⊗λeIh⊗λ%Y`⊗GEyh↔εF→`_¬F9h_D&i`~αG)h ≥sT;'λπ0NP∞Y` ≥3T:'(π_N⊂∞9h ≤ST8g(πNP
y` ≠sT7'(εhNP
Ih ~sT$$→h ⊃`∩λNPλP⊂⊂g(∧_↓H3T!d→p∨A∧→h≡A$→h≥AD→p≤↓d→p~B∧→h→B$→p↔Bd→p⊗β∧→p∀βD→x⊃Dβix∂∧#→x ¬αJλπF↓l_∧'4 xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ ←λα≤NV`2⎇ ≡Pq!BO(2{ghz@≤(0
< G⊂:[ ←(z␈wt84= Xo∨>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(2{ghz␈wt84= Xo∨>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(0;ghz@=
(o∨>P∧_ε(␈␈␈␈x↓h
p␈␈␈␈h ε α$By8⊂f¬ H↔&F)H≤&GIP∨fH∧_M⊂λyX ∩3$&fh∧xM⊂
)X ∃34+fH¬PMP IX ↔S40&hε⊂MP IX_αEIX⊗DE→X∃F∧yX∃π∧Y`∀GdIX∀λDIX∀ $9X∀ d)X∀
$)`∪Jd)X∪K$→X∪Kd→`∪L∧→X∪L$→`∪ d→X∪M∧→X∪M$→`∪
d→X∪Md→`∪∞$→`∪∞$→X∪∞d→`∪∞d→X∪O∧→`∪∂$→X∪O$→`∪OD→`∪∂d→X∪Od)`∪PλαλN H∧λ⊂g∧d HS28 ⊂$)`∪Pλ∩⊂N H∧_⊃'∧d!HS28 ⊂d)`∪Pλ2_N h∧_⊃gλλhN⊂⊃Y` #S4GgλλxN⊂⊃y` $∪DH'λ N⊂∩ ` $∪DHgλ λN⊂∩→` $3DHgλ λN⊂∩→` $3DI'( λN⊂∩→` $3B8N sB8NIsB8N sB8N
∪R8N sB@NIsB8N
∪R8N sB@NIsB@NIsB@NIsB@NJ∪B@ ⊗`→h∀⊂ ⊂⊂N
(¬8↓g%∧*A3BH ∀`ih∀P
@NJ(∧h¬'¬$%BsRP ∩↓Yh∃⊂λPxN
h∧⊂λg%Ch
'%CP '%S( g¬cλ∞'%r`∂g&∩(⊃g&1h∀'&aλ_'(π0NP∞Yh ≥∪T9g(πλNP
ip ~sT4g(ε0O⊂ 9h _∪T.gH¬HO⊂
Yh ∀Sd''H∧PO⊂λYx∨gG)x~(¬:⊃(BD xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ oλα≤NV`2⎇ ≡Pq!BO(≤(8Xz@≤(0
< G⊂:[ ←(z␈wt84= πλ!b}←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(≤(8Xz␈wt84= πλ!b}Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(→h8Xz@= πX!b}P∧_ε0␈␈␈␈x(ε0␈␈␈␈`∂∧¬ebYP fCiP⊃&DYX∀&E9X⊗feyX_ff9X~ffiX≤&g)`≥&gIX≡fgy`∨fh∧λMPλ)`
B#iX
βCI` ∧C)X EC ` εαyX εBi`
GαYX
GB9`
GB)X
Hα `
H↓y`
λAYX
HAI`
Ha)`
↓→X
I↓ `
Iy`
IiX
I Y`
I I`
I 9X )` )` →` &by` gαy` gαyX gβ→` gβ→` gβ→X
gβ9`
gβ9`∞'βI`∞'βYX∂'βi`∂'βy`∂gβy`⊂'∧ `⊂'∧→`⊂g∧→`⊂g∧)`⊃'∧)`⊃'∧9`⊃g∧9X∩'∧I`∩'∧Y`∩g∧Y`∩g∧Y ↔SD/'λ¬pN⊂ i` ↔S4/gλ¬pN⊂ i` ↔SD/&h¬xN⊂ i` ↔SD/'λ¬pN⊂ iX ↔sD/'λ¬pN⊂ i` ↔SD/&h¬xN∂∪C(V 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N SB0N SB0N SB0N SB0N SB0N SB0MIsB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N sB8N
∪B@N
∪B@N
∪B@N
∪B@N
∪B8NλSA`N¬SAλNαs@("<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\Dε8xA∞'(6→>P∂(8Pa z@∀PH;= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PRB.o(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@∀PH;=?{x#Z≡PRB.o(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∪0H;= ≡PWB.o(!@3␈␈␈x␈@
E␈␈␈x↑P@E@30⊂M@s0 MA,@h∃↓Rq0∩As↓h⊂B∪∩⊂∂α3∩8
BS"X αs"p β∪#λ
β33 λCS#8πCs3HεD∪#`¬D33p∧DS4 ↓b9P ⊂`Q MPλP_
fh∧0↓¬S4/fhεMP →X _S41fhε MP Y` →343&hε8MP
` ~∪44fhεPN⊂
)X ~sD5fhε`MP
Y` ≠32¬⊂λI`∞DGyX∞¬gI`
Fg→X
πfy` HFY` &9X
ε→` JF X K¬y` KEY` ¬IX E9` e)`
M%→X
E `
N∧y`
N$iX ∞$i`
NdY`
O∧I`
O∧IX
OD9`
Od)`
Od)`
⊂λ∩λN¬λ∧λ⊂fbT H3A( ⊂D `
Pλ"N¬(∧⊂⊂'αT!GsA( ⊂cy`
⊂λAxN¬λ∧(∂&bT"GSA( ⊃#i`
PλQpN¬(∧(∂'αd"πSA0 ⊃#Y` ⊂λQhN¬H∧(∞gαd"G3A0 ⊃#Y` ⊂λQhN¬h∧ ∞gαt"π3A8 ⊂ci` ⊂λ!pNελ∧⊂∂'β∧!πSAH ⊂#i` Pλ⊃pNF(∧∂'β∪x∂gβ#p∂gβ#p∂gβ3h∂gβ3`⊂'βCX⊂'βSP⊂'#CH⊂gβS@⊂gβc0⊃'βs(⊃'∧β_⊃g∧∪⊂⊃g$∪∩'∧"p∩g∧B`∩g∧RP∪'$R@∪g∧r(∀'¬∩⊂∀g¬1x∃'%AX⊗'¬q8⊗gε!⊂↔g&`P→'λπ⊂N⊂∞)h ≤3D8g(πN⊂∞ ` ≤∪T7gλεxNP
i` ≠ST6gλεhNP
I` ≠∪T5g(∧`G3D%@CYh ∩ 1hNPλp ∞g(∧(αG3D"↓CYh ⊂@qhNOa⊃hNO!!hNNa1`NN↓Q`NMAa`NLb↓`O b!`NKαA`O
αa`Oλc⊃`OπCA`OEd↓`PβDQ`gG∪A`Nπ∪A`Nπ∪AXNεsAXNεsAX2@&aXL@fqXM↓&qPLBεqPLBfaXLC&qXMβfqXLDFqXLE&qPLFεqPMεFqPLG&qPLHεaPLHfaPNλfaPNHFaPNλfQHNλfAPNλfAPNHFAHNλf!PNλf!PNHf⊃HNλf↓PN ¬qPNHeaPN ¬QPNHeAPN ¬!XNI¬⊃PN $qXNI$QXNI$1`N d↓`NIcahN
#!pNJBbNJb"λNKA" N⊂ Ih ⊗ST,'(¬8NP
Yh ∀sT(g(∧xNP Yp ∩ST$'(∧0O⊂λ)h ⊂∪c`NNSc0O SrhO
∪r⊂Pεt x"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\Dε@xA∞'(6→>P∂(8Pa z@⊗∨Xq⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PX}|?(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@⊗∨Xq⎇?{x#Z≡PX}|?(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∀␈Xq⎇ ≡P]}|?(!@4?␈␈x␈@⊂H␈␈␈x}{$30⊂M@s0 MA300MAs0@MB30PMBs0`MC30pMCs1MD31⊂MDs1 ME310MEs1@MF31PMFs1`MG31pMGs2MH32⊂MHs2 MI320MIs2@MJ3BHNJ∪B@N
∪R8N sB8NISB0N SB0NI3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N 3B(N #ppN #!(N "qPN "AxN ""_N "∩(N !rHN !bXN !BpN !3N !#⊂N !∪ N !β0N s@N cHN cPN S`N ChN 3xN $ '∧P⊂ ⊂3B(Pλ)` ~3D4gλεPN⊂
)` ~sD5gλεXN⊂
9` ≠∪D6'λε`N⊂λ⊂ ∪gπp0∪gπ`8∀'πP@∀'π@H∀'π@H∀'π0P∀'π X∀'π X∀'π⊂`∀&g⊂h∀'π⊂p∪gπx∪gεq∪gεq∪gεaλ∪gεaλ∪gεQ⊂∪gεA_∪gεA_∪gε1 ∪gε1 ∪gε!(∪gε⊃0∪gε⊃0∪gε↓8∪gε↓8∪g¬q@∪g¬q@∪g¬aH∪g¬QP∪g¬QX∪'¬A`∪'¬A`∪'¬1h∪'¬1h∪'¬!p∪'¬!p∪'¬⊃x∪'¬⊃x∪'¬α∪'¬αλ∩g∧r⊂∩g∧r⊂∩g∧b_∩g∧b_∩g∧b_∩g∧b_∩g∧b_∩g∧b_∩g∧b_∩g∧b_∩g∧b_∩g∧b_∩g∧b_∩g∧b_∩g∧b_∩g∧b_∩g∧b_∩fdr_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r_∩g∧r⊂∪'∧r⊂∪'∧r⊂∪'∧r⊂∪'∧r⊂∪'∧r⊂∪'∧r⊂∪'∧r⊂∪'∧r⊂∪'∧r⊂∪'∧r⊂∪'∧r⊂∪'∧r⊂∪'∧r⊂∪'∧r⊂∪&eα⊂∪'¬α⊂∪'¬α⊂∪'¬α⊂∪'¬α⊂∪g¬α⊂∪g¬α⊂∪g¬α⊂∪g¬α⊂∪g¬α⊂∪g¬α⊂∪g¬α⊂∪g¬αλ∀'¬αλ∀'¬αλ∀'¬αλ∀'¬αλ∀'¬αλ∀'¬αλ∀'¬αλ∀'¬αλ∀'¬αλ∀'¬αλ∀'∧r⊂∪g∧"8⊃'βBh∞'αc_ &b#@λg↓Cp¬gd"↓3@λ ∩∀ xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ
∨λα≤NV`2⎇ ≡Pq!BO(~{e_z@≤(0
< G⊂:[ ←(z␈wt84= εXo∀}←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(~{e_z␈wt84= εXo∀}Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(_;e_z@= π(o∀}P∧_εH␈␈␈␈x↓`∧`␈␈␈␈` λ∧(↓eA→8π%BY0
ed 0∪%EIX↔'¬i`↔'%Y`↔'¬i`↔'%Y`↔'¬i`↔'%Y`↔'¬i`↔'¬ih⊗'∧i`⊂gβ9h
'↓y`∧g;x"Ci8¬eB→0 ecI0⊃%E @⊗'¬Ih∃g¬9`∃g%)`∃'¬)h∀g¬→`∀g¬→`∀g% `∀'¬ `∀'¬ h∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧yh∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧iX∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪fe `∀'¬ `∀'¬ `∀'∧)`∞'αy`λg↓9`β⊃≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→."5< G⊂:[ ←(z@≤(0
= πp~->Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(∨FK(z␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ πp~->←x←Qm∂(∨FK(z@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ π ~->P∂("εK(z@⊂`~←␈x␈␈`∧↔←␈x␈m 6 ↔→X↓&`9Xα&`iXβfa X∧fa)X¬faIXεfaiXπfb Xλfb)X fbIX
fbiX fc X &c→X
&c9X∞&cYX∂&cyX∂fd X⊂&d X⊂'βy`∂'βYX∞gβI`
gβ)` gβ ` fby` 'αY`
'α9` 'α⊃(gα↓(↓'↓q(↓g↓a(α'↓Q(αg↓A(β'↓1(βg↓!(∧'↓⊃(∧g q(¬'a(¬gQ(ε'A(εg1(π'!(πlB Xλfb)X fbIX
fbiX fc X fc)X
fcIX∞fciX∂fd X⊂fd)X⊃fdIX∩fdiX∪fe X∀g¬→h∀'$y`∪g$i`∪'$Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Yh∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩fdi`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪ @⊃H∪&`!H∩f`1H∩f`AH∩f`QH∩f`aH∩f`qH∩fa⊃@∩fa!@∩fa1@∩&aA8∩faQ8∩faq0∩fb↓0∩fb⊃0∩&b!0∩'α!0∩'α1 ∩gα1 ∩gα1 ∩'αA_∩'αA⊂∩gαA⊂∩'αQλ∩'αQ∩gαQ∩'α`p∩g"Pp∩gα``∩gα``∩gαpP∩gβ@∪'#(∀'λ∧ N⊂λIh ⊂SD!'λ∧λNOsCxNO3ChNNsSHN∞3S8NM3C NLSSNKSR`NJ3R8OλsRλOπ3a@O∧sp`"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\DεXxA∞'(6→>P∂(8Pa z@⊗∨Xq= ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PX}|/(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@⊗∨Xq=?{x#Z≡PX}|/(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∀␈Xq= ≡P]}|/(!@5␈␈␈x␈@⊂@R␈␈␈x}{$@30⊂M@s0 MA300MAs0@MB30PMBs0`MC30pMCs1MD31⊂MDs1 ME310MEs1@MF31PMFs1`MG31pMGs2MH32⊂MHs2 MI320MIs2@MJ3BHNJ∪B@N
∪R8N sB8NISB0N SB0NI3B(N 3B(N 3B( ⊃`→`∩PλpλN (∧0↓'∧T#SB( ⊃ 9`∩Pλ@ N (∧_αg∧T!↓SB( ⊂ y`∩Oa→`∩OA)`∩O↓I`∩NaY`∩N!y`∩Nα `∩MB)`∩MαI`∩LbY`∩L"y`∩Lβ `∩KC)`∩K#9`∩JcY`∩J#y`∩J∧ `∩ID)`∩I$9`∩HdY`∩H$y`∩H¬ `∩GE)`∩G¬I`∩FeY`∩F%y`∩Ef→`∩EF)`∩EεI`∩DFi`∩Dπ `∩Cg→`∩C'9`∩BgI`∩B'I`∩AgY`∩AGY`∩Aπi`∩@Gy` →3D2'λε_N⊂ )` _3D/gλ¬pN⊂ Y` ↔∪D-gλ¬PN⊂ →` ⊗∪D+gλ¬0N⊂
Y` ∀sD)'λ¬λN⊂
` ∪sD''λ∧hN⊂ I` ∩sD%'λ∧@N⊂λy` ⊃SD"gλ∧ N⊂λ9` ⊂sD"'λ∧(N⊂λY` ⊃SD#'λ∧8N⊂ ` ∩∪D$gλ∧HN⊂ )X ∪∪D&'λ∧hN⊂ Y` ∪SD'gλ∧xN⊂
` ∀∪D(gλ¬⊂N⊂
)` ∀sB@JSB0↓JsB0α
sB0αJSB0β
SB0β
SB0βJSB0∧
SB0∧
SB0∧JSB0¬
3B0¬
SB0¬JSB0ε
3B0ε
SB0εJ3B0εJSB0π
3B0πJ3B0πJSB0λ
3B0λJ3B0λJ3B0
3B0 J3B0 J3B0
3B0
J∪B0
J3B0
3B0 J∪B0 J3B0
∪B0 J∪B0 J3B0
∪B0
328
J∪B8∞
∪B8∞
3B8∞J∪B8∂
∪B8∂
∪B8∂J∪B8∂J3B8⊂
∪B8⊂J∪B8⊂J∪B8⊃
∪B8⊃J∪B8⊃J∪B8∩
∪B8∩
∪B8∩J∪B8∪
∪B8∪
∪B8∪J∪B8∀ sB8∀
∪B8∀J∪B8∀J∪B8∃
∪B8∃IsB8∃J∪B8⊗
∪B8⊗
∪B8⊗J∪B8↔ sB8↔
∪B8↔IsB8↔J∪2@_
∪B@_IsB@_J∪B@→ sB@→
∪B@→J∪B@→J∪B@→IsB@~λ3B@~εsB@~¬3B@~∧∪B⊂≥αSA` ⊂I` gα→`¬gd xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ
Oλα≤NV`2⎇ ≡Pq!BO(~{e_z@≤(0
< G⊂:[ ←(z␈wt84= εXo∀}←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(~{e_z␈wt84= εXo∀}Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(_;e_z@= π(o∀}P∧_ε`␈␈␈␈xαλ∧H␈␈␈␈`∂0∧Hf`)X↓f`IXαf`iXβfa X∧fa)X¬faIXεfaiXπfb Xλfb)X fbIX
fbiX fc X fc)X
fcIX∞fciX∂fd X⊂fd)X⊃fdIX∩fdiX∪fe X∀g¬→h∀'¬ `∀'$y`∪g∧yh∪'∧i`∪'∧i`∪'$Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧YX∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧iX∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧yX∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `∀'¬ `⊃'βI` gα→`¬gd xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ
←λα≤NV`2⎇ ≡Pq!BO(LmIλz@≤(0
< G⊂:[ ←(z␈wt84= ∪_6$>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(LmIλz␈wt84= ∪_6$>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(J-Iλz@= ∪h6$>P∧_εh␈␈␈␈xα⊃⊂ λα∃Eα$(DsRPεHλ∧ ⊂'¬ H∀∞e→`∃↓Es__g¬ _~K&y` →$shN⊂ r_ ⊂3D4Gh∧(N⊂
AH ∩sD7¬(∧xNP
a_ ∀3D8βh¬(N⊂∞ X ⊗3D9B(¬XN⊂∞P( ↔sD;hελN⊂∞pλ _sDngλ
pN⊂≠y` 8∪Tp'λ∞λN∂a4-αFI`≥¬λ¬⊂ 3C8 P a0_'εQh ∩C"xN d∧$π¬i`_Iλ∧ ⊂ 3C∪⊂λ"⊂⊗g¬bH ⊂∧B`N %3p∪ ∪B`⊗O¬α`N
esP∃
sBP_∞E"`N
&#@⊗
sB@~
EbXNIFS0↔
sB0≠
εαXN &s _
sB(≤ F"XN 'β⊂→
sB(≤ &2XN '∪~
sB(≤KfRXN '∩x~JsB(≥ FbXN '"h≠JsB(≥ &rXN '"h≠JsB(≥ &rXN '2`≤
sB(≥Jg∩XN '2X≤JsB(≥Jg∩XN '2X≤JsB(≥Jg∩XN '2X≤JsB(≥Jg∩XN '2X≤JsB(≥Jg∩XN '2X≤JsB(≥Jg∩XN 'BP≤JsB(≡
G∩XN 'BH≥
sB(≡
'"XN 'BH≥
sB(≡
'"XN 'BH≥
sB(≡
π2XN 'B@≥JsB(≡
πBPN 'B@≡
SB(≡ gRPN 'R0≡JSB(≡IGRPN 'R0≡JSB(≡IGRPN 'R(∨
3B(≡I'bHN 'R(∨
3B(≡I'bHN 'R(∨
3B(≡I'r@N 'R(∨J∪B(≡I'r@N 'R(∨J∪B(≡I'r@N 'R(∨J∪B(≡I'r@MIGR(∨J∪B0≡I'r@N GR(∨J∪B0≡I(∧∪g∧ch∩Pλα8N GR( ⊂∧y`∪∂$T sB0≡I(∧∪g∧ch∩Pλα8N GR( ⊂∧i`∪O∧T SB8≡ (∧∪'∧s`∩Pλα0N gB( ⊂∧i`∪O∧T SB8≡ H∧∩g∧s`∪⊂λα(N gB0 ⊂∧Y`∪O∧d 3B8≡ H∧∩g∧s`∪⊂λα(N gB0 ⊂∧Y`∪O∧d 3B8≡ H∧∩feβ`∪⊂λα(N
πB0 ⊂∧Y`∀∂∧d 3B@≡ H∧∩g¬βX∪Pλα(N
π28 ⊂∧Y`∀∞dt 3B@≥Jπr(N
π2@∨I3B@≥Jπr(N
π2@∨I3B@≥Jπr(N
π2@∨I3B@≥Jπr(N
π2@∨I3B@≥Jπb0MJ'2@∨ SBH≥Jπb0N
G"H≡IsBP≥
'R8N
G"H≡IsBP≥
'R8N
G"H≡
∪BP≥
'B@N
G"H≡
∪BP≥
'B@N
G"H≡
∪BP≥
G"PN
G∩X≥
S2X≤Jg"PN
g∩X≤JhOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂≠↑⊂ 9≥-F(z@= ∞⊂C¬≡PZM{O(8Pa xA∞'(6→>P∂(␈ohv@z@⊗S8n=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>PZM{O(␈ohv@z@⊗S8n= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PUM{O(z@↔s8n= λ0
ox␈␈␈␈x␈␈␈ ⊗⊂∩`
hL¬3⊃XMπs"_$?␈␈xOP 1 ∪h(∧0
st!D%Yx ⊂αβO∂Ac_O∂↓S(NNaC8NNA3HO∞↓#XNMa∪hNMAβxNM t '&@0 ⊂SS_αPλIh→↓(∧(N @D#'&⊂_ ∩∪S↓⊂ )`_H∧PNK`∀&'λπ`NP∂I` ∨∪T>'λπ`N⊂∂Yh ∨∪D>gλπhN∞AC8NM"3(N bs_N #3λN csN $"xN ∧BpN
dbpNJ%αhN
%αhN
%∩`N
%"`N
%"`N
%2XN
%2XNJ¬BPN
¬BXN
¬RPN ebPN erHN erHN erHN fα@N fα@N fαHN f∩@N f∩@NIF∩@N F∩@N F"8N F"8N F"8N F"8N F"8N F"8N F20N F20N F20N F20N F20N F20N F20N F20N &B0N &R(N &R(N &R(N &R(N &R N &R N &R N &R N &R N &R N &R N &R N &R MIFR N FR N FR N FR N FR N FR N FR N FR N FR N FR N FR N &b MIFb N Fb N Fb N Fb N Fb N Fb N Fb MIfb N fb N fb N fb N fb N fb(N fb(MJεb(N
εb(N
εR0N
εR0N
εR0MJ&R0N
&R8N
&R8N
&R8N
&R8MJ&b8N
&b@N
&b@N
&b@MJFbHN
FbHN
FbHN
FbPMJfbPN
fbXN
fbXN
fb`MKεbhN εbhN εbpN εbxMK&cN &cλN &c⊂MKFc_N Fc N Fc0MKfc8N fcH"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\DεxxA∞'(6→>P∂(8Pa z@∃∧0Y⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PT⊃V?(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@∃∧0Y⎇?{x#Z≡PT⊃V?(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∪d0Y⎇ ≡PY⊃V?(!@7␈␈␈x␈@λHG@&βraPLλ3∩8M ∪∪λM
3#@M∂∪3xM⊂λ)X ⊃∪$$&h∧PMP IP ∪s4(fh¬_MP
YX ∃s4,fh¬XMP YX⊗Ae)X∃C¬→X∃∧¬ `∀¬∧yX∪EdyX∪FDYX∪π$YX∪πdY`∩H$IX∩HdIX∩I$I`∩ d9X∩
$9X∩J$9`∩
d9X∩K∧)`∩ $9X∩KD)`∩ d9X∩L∧)`∩ $9X∩LD)`∩LD9X∪ d)`∪ d9X∪Ld9`∪
$)`∪
$9X∪M$9`∪M$9`∪M$9`∪MD)`∪
d)`∪
d)`∪
d)`∪
d)`∪
d9X∪Md9`∪Md9`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪∞$)`∪Md9`∪Md9h∪
d9`∪
d)`∪
d)`∪
d)`∪
d)`∪MD)`∪M$9`∪M$9`∪M$9h∪
$9`∪
$)`∪Ld9h∪ d9`∪ d)h∩LD9`∩LD)h∩L∧9`∩L∧)h∩ d9`∩KD)h∩ $9`∩K∧)h∩
d9`∩J$9h∩
$9h∩ d9`∩I$Ih∩HdIh∩H$I`∪πdYh∪π$Yh∪FDYh∪Edyh∀¬∧y`∃∧¬ h⊗β¬ h↔↓e→h ↔3T-g(¬HNP
yh ∃3T)g(¬λNP yp ∪∪T%'(∧@O⊂λIh ⊂ScxNO∪c@O
3cλOJsb8OH4↓HQβHOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂≤≡⊂ 9≥-F(z@= ∞⊂C¬≡Pe⊂≠O(8Pa xA∞'(6→>P∂(␈ohv@z@→$n=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>Pe⊂≠O(␈ohv@z@→$n= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P`⊂≠O(z@~Dn= λ0∞∂x␈␈␈pβ0⊗/x␈␈u0∪0
a@L S"pM
3#XM⊂λ P ⊃∩P_↓P 0∧@(∧`K⊂ i8 →2d6%Hπ KP∂)H ∨sD@'λλλN⊂⊂)` sTAgλλ N !T#g¬A8 ⊂sBH∂∂sB8⊃O3B8∪∞sB8∀∞SB8∃∞∪B8⊗
sB8↔
SB8↔M3B8_M∪B8→ sB8→LsB8~L3B8≠ 3B8≠L∪B8≤ ∪B8≤KsB8≥ sB8≥KSB8≡ 3B8≡K3B8≡K3B8∨ ∪B8∨K∪R0∨K∪B0 ⊂¬9`∪⊂λ∩PN H∧λ∃g∧d!
SB0 ⊂E)`∪⊂λ2HN H∧_∃'∧d"
3B0 ⊃¬→`∪⊂λBHN H∧(∀'∧d"J3B0 ⊃%→`∪⊂λb@N H∧0∀'∧d#
∪B0 ⊃dy`∪⊂λr8N H∧8∀'∧d#J∪B0 ∩∧y`∪⊂ α8N H∧@∪g∧d$ sB0 ∩∧y`∪⊂ α8N H∧@∪g∧d$ISB0 ∩$i`∪⊂ ∩0N H∧H∪'∧d$ISR( ∩$i`∩P ∩0N (∧H∪'∧T$ISB( ∩$i`∩P ∩0N (∧H∪'∧T$ISB( ∩$i`∩P ∩0N (∧H∪'∧T$ISB( ∩$i`∩P ∩0N (∧H∪'∧T$ISB( ∩$i`∩P ∩(N (∧H∩g∧T$I3B( ∩∧i`∩P α0N (∧@∪'∧T$ 3B( ∩∧Y`∩P α(N (∧@∩g∧T$ ∪B( ∩∧I`∩Pλr(N (∧8∩g∧T#I∪B( ⊃dI`∩Pλr N (∧8⊃g∧T# ∪B( ⊃DI`∩Pλb_N (∧0⊃g∧T"HsB( ⊃$9`∩PλR_N (∧(⊃'∧T"λsB( ⊃∧)`∩PλB⊂N (∧_⊃'∧T!HSR ⊂D)`∩⊂λ"λN λ∧λ⊃'∧D H3B ⊂∧)`∩⊂λαλN πrλN πrN πbλN πbN πRN πBN πBN π2N π"N π∩N παN fBN
&∩N
eRλN %"λN drλN $2⊂N cr⊂N
C∩ N∞"20N∂!2@N⊂
y` ≠3D5g∧@_ ⊂SB KsB ∞λSB ∪∧sB N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B_NλSBλNλ∪AxNπSAhNπ∪AXNεSAHNε∪A8N¬SA(N¬∪A_N∧SAλN∧∪@xMCs@pNβ3@`Nαs@PNα30HNα∪@8N↓S00N↓3@ Ns0_NS@λ"<"W 4]
F(⊂≥
ε(⊂_mελ9_,7 2\DπλxA∞'(6→>P∂(8Pa z@∪5 "⎇ ∞⊂C¬≡⊂ 9≥-F(z@=?{x#Z≡PMUλ←(␈ohv@xA∞'(6→>P∂(␈ohv@z@= ∞⊂C¬≡⊂ 9≥-F(z@∪5 "⎇?{x#Z≡PMUλ←(8Pa xA∞'(6→>←x{∂(z@↓ = ≡⊂ 9≥-F(z@∩∃ "⎇ ≡PRUλ←(!@8␈␈␈x␈@
>␈␈␈xU@L"C∩q0LG∪"M ∪"@M ∪2pM S3 MMS3@MNS3`MOSCpMPλ X ⊂SD!&h∧ MPλY` ⊃S4$'∧8⊂fdH⊂gβpX⊂&dX⊂gβph⊂&dh⊂'∧p⊂&d⊂p⊂'∧x⊂fd⊂x⊂g∧⊂x⊂g∧⊂x⊃&d x⊃'∧!⊂g∧!⊃&d1⊃'∧1⊃'∧1⊃fd1λ⊃g∧1λ⊃g∧1⊂⊃fdA⊂⊃g∧A⊂⊃g∧A⊂⊃g∧A⊂∩&dQ⊂∩'∧A_∩'∧A ⊃g∧A ⊃g∧A ∩&dQ ∩'∧Q ∩'∧Q ∩'∧Q ∩'∧Q ∩'∧Q ∩fda ∩g∧a ∩g∧a ∩g∧a ∩g∧a ∩g∧a ∩g∧a ∩g∧a ∩g∧a ∪&dq ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'∧q ∪'$a ∪'∧a ∪'∧a ∪'∧a ∪'∧a ∪'∧a ∪'∧a ∪'∧a ∪'$Q ∪'∧Q ∪'∧Q ∪'∧Q ∪'∧Q ∪'∧Q ∪'$A ∪'∧A ∪'∧A ∪'∧A ∪'∧Q⊂∪g$A⊂∪'∧A⊂∪'∧A⊂∪'∧A⊂∪'$1⊂∪'∧1⊂∪'∧1⊂∪'$1∪g∧1∪g∧1∪g$!∪g∧!∪g∧!∪g$⊃∪g∧⊃∪g∧⊃∪g$⊂p∀'∧⊂p∀'$p∀'∧p∀'#pp∀'∧`∀g#p`∀g∧P∃'$@∃g∧ _↔'(¬⊂N⊂
)h ∀3T('λ¬NP yh ∪SD&g(∧`NP 9h ∩ST$g(∧@NPλyp ⊃3T"'H∧⊂NPλ→p∨gGYx≥(α⊂∩+DI`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩'∧I`∩g∧Y`∪'∧i`∪g¬ `∀'∧y`∪'∧Y`∩'∧9`⊃'∧→`⊂'βy`∂'βY`∞'β9`
'β→` 'αy` 'αY`
'α9` 'α→`λ'↓y`π'↓Y`ε'↓9`¬'↓→`∧'y`β'Y`α'9`↓'∀ xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ∞/λα≤NV`2⎇ ≡Pq!BO(&6nPz@≤(0
< G⊂:[ ←(z␈wt84= H[:↑←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(&6nPz␈wt84= H[:↑Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(#vnPz@=
_[:↑P∧_π⊂␈␈␈␈x↓xλ␈␈␈␈`
(∧8f`)X↓f`IXαf`iXβfa X∧fa)X¬faIXεfac⊂βfarhε&bαPπfb∩8 &b"(
&b2_ &bBλ &bQx
&bap
fbqh∞&c↓X∂&c⊃P∂fc!H⊂&c1@⊂fcA8⊃&cQ0⊃fca(∩&cq ∩fd↓_∪&d⊃⊂∪fd!λ∀&d1λ∀&dA∀fdPx∃&d`p∃fdph⊗&eh⊗&e⊂`⊗g¬⊂X↔'%X↔'$pP↔g∧pH_'$`H_'∧`@_g$P8→'∧P8→'∧P0→g∧P0→g∧P(⊂g∧P ∞g∧P
'∧P_ g∧P_ g∧P⊂ '∧P⊂
g∧Pλ
'∧Pλ 'εy`~gεI`→gε→`_'¬y`↔'¬Y`⊗'¬9`∃'¬→`∀g¬ `∪g∧i`∪'∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧Y`∩g∧YX∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧i`∪'∧iX∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪fe `∀'¬ `∀'¬ `∀'¬ `⊃'βI` gα→`¬gd xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ∞?λα≤NV`2⎇ ≡Pq!BO((9Whz@≤(0
< G⊂:[ ←(z␈wt84=
λf←>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←((9Whz␈wt84=
λf←>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(%yWhz@=
Xf←>P∧_π_␈␈␈␈xh ␈␈␈␈λ @∧ ∂$FI8 ⊂∪∧$f(¬LP
YP ⊗3$.fHελM⊂ IP →s44&HεPMP
)X ~s46&hεhMP
iX ≠sD7&hεxMP∞ ` ≤∪3_ ∪Bh∞ s2P∩λsB@∀H∪28↔π3B(→FS2 ≠F∪B_≥¬3B⊂≡Ds2_∨D3B_ ⊂!y`⊃⊂λ@hNλH∧0¬g∧$#B32_ ∩↓ `⊃P ⊂8Nλh∧Pβ'∧4%A3B_ ∩`I`⊃P @_Nλh∧`↓g∧4&@SB_ ∪ )`⊃P `λNλsB N ∪B(NI3B0N sBHN
sR`N sC⊂NMsD%gλ¬λNP
I` ∃sT,'λ¬XN⊂ Yh ↔SD/g(εNP →` _ST1'(ε_N⊂ Ih →∪T2'(ε N⊂ Yh →3T2g(ε(NP Ih →∪T2'(ε NP 9p _ST1'(ελO⊂ h ↔sd/'(¬hO⊂ Ip ⊗St,'H¬0;@$t)g∩X ∀∪@λ_⊂ 9`PλC8M@h∧P_g4&KS@_ ∀¬9`α⊂
∩HN↓λ¬⊂∀'T)Is00 ∃∧i`βP
B(N↓h¬(∩'↓∧* ∪@@ ∃$9`∧P
B_MBH¬ ⊃g↓4*λS@` ∀d)`ε⊂
2⊂Nβ(¬⊂⊃&at(HSA ∀∧)`λ⊂
α⊂N∧(∧x⊃'α$'λSA_ ∪$)X
P B⊂N¬H∧P⊃gαt$HSA@ ∩∧)` Pλr⊂Nεh∧ ⊃fcT!HSAp ⊂$9`⊂∂d9`⊂O$9`⊃Nd9`∩∞$Ih∩MDI`∪LdYh∀ ∧Y`∃ ∧yh∃J$y`↔ ¬→h_πE9h→ε¬Yh≠Cε9` ≥3T9g(π⊂NP∞ h ≠ST6'(εPNP
p →3T1g(εO⊂ Yh ⊗sd+gH¬_OP ip ∩St"'gj≠hEJ ∞⊃≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→.":< G⊂:[ ←(z@≤(0
=
HrT≡Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(*<Uz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇
HrT≡←x←Qm∂(*<Uz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ xrT≡P∂(,|Uz@⊂`≥∨␈x␈␈`¬@"␈␈x␈} <⊃@→X↓&`9Xα&`YXβ&`yX∧&a→X¬&a9Xε&aYXπ&ayXλ&b→X &b9X
&bYX &byX &c→X
&c9X∞&cYX∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂'βi`∂gβy`∂gβy`∂gβy`∂gβy`∂gβy`∂gβy`∂gβxpβAcyX↔'¬d!@3Bp ⊂9`≠L@y` ∩C⊂`N⊂
iX ≠SD6gλε`N⊂
9` ~S45'λεHN⊂
` →sD3'λε(MP Y` →∪D1gλε⊂N⊂ →` _∪40'λ¬xWλ3BλNλ3BλNλ3BλNλ3BλNλ3BλNλ3BλNλ3BλMHSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB⊂NλSB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_NλsB_MI∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N ∪B N 3B(N 3B(N 3B(N 3B(N 3B(N 320N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N SB0N G`λN G@_N G⊂0N F`HN F0`N F⊂pN EaλN E1 N E⊃0N E⊃0N E↓8N E↓0N da8N da8N
∧A@N
∧A@N
$!@N
D↓HN
caPN βAXN #!XNKBq`N bApN "⊃pN
↓BN∞R⊂NP i` ↔3T.'λ¬XN⊂ 9h ⊗3D,'(¬8N⊂
ih ∃∪T)gλ¬⊂NP
h ∪ST&'(∧PNP h ⊃ST"'H∧NOScPNN∪c OKsbPOI∀↓hPDhOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂≥>⊂ 9≥-F(z@= ∞⊂C¬≡P]∧NO(8Pa xA∞'(6→>P∂(␈ohv@z@↔!⊂:=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>P]∧NO(␈ohv@z@↔!⊂:= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PX∧NO(z@_A⊂:= λ0∞←x␈␈␈pβ∪␈x␈␈␈⊂∩@πP_ ⊗@90∧P
@HKβh∧xπ%bD$E∩aP ⊂c)0⊂∂$ 8∩N∧YH∀
Dy`∀
Dyh∪Mdi`∪Mdi`∪Mdi`∪Mdi`∪Mdi`∪Mdi`∪Mdi`∪Mdi`∪Mdi`∪Mdi`∪Mdi`∪Mdi`∪Mdi`∪Mdi`∪Mdih∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∪
di`∩N∧i`∩N∧i`∩N∧i`∩N∧i`∩N∧i`∩N∧i`∩N∧i`∩N∧i`∩Mdy`∩Mdy`∩MdyX∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dy`∪
dyh∩Mdy`∩Mdy`∩Mdy`∩ME `∩ME h∩
E `∩
%→`∩
%→h∩ e)`∩ EI`∩L¬Yh∩ ei`∩Kε h∩JF→`∪IF9h∀λFYh∀G' `↔∧gYh ∨3T>'(π`N⊂∂Ih ≡sT='(πHNP∂ h ≥sT;'(π0NP∞Yp ≤sT9'(πO⊂
h _Sd C p≥A")p≠AaYp→B yx⊗C→x∪(βjλ Q≡⊃(:~.F`2H∞F@2H 6@0\L⊗_:→.";< G⊂:[ ←(z@≤(0
=
λg/}Pq!BOλα≤NV`2⎇ ≡←x←Qm∂((9kxz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇
λg/}←x←Qm∂((9kxz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ 8g/}P∂(*ykxz@⊂`≥←␈x␈␈`↓@'?␈x␈␈$`&@4@␈␈␈x`¬P 0HH¬h¬pεd$4+DrBX ∀# `∃P qPNJh∧h
'%$&FSBX ∩c)h∃⊂ 1PNJH∧P g¬$$FSRH ∩#→h∀PλqPN
(∧8 g%∀"FSBH ⊃#→h∀Pλ1PN
(∧_ g%∀ FSR@ ⊂#→`∀Oc)h∀∂c→`∀O#)h∀∂#→`∀Nc)h∀∞c→`∀N#)h∀∞#→h∀
c)`∀
C)h∀
#)`∀
β9h∀ c)`∀ C9h∀ #)`∀ β9h∀ c)`∀ C9h∀ #)h∪Kβ9`∀
c)h∪JC9`∀
#)h∪Jβ9`∀ c)h∪IC9`∀ #9h∪Iβ9`∀λc9h∪HC9`∀λβIh∪Hβ9h∪GCI`∀π#9h∪GβI`∀εc9h∪FCI`∀ε#9h∪FβI`∀¬cIh∪ECI`∀¬#Ih∪EβI`∀∧CYh∪DCI`∀∧βYh∪DβI`∀βCYh∀β#I`∀ββYh∀αcI`∀αCYh∀α#Ih∪BβY`∀↓CYh∪ACY`∀↓βYh∪AβY`∀CYh∪@CY` ⊃ST"'λ∧ NPλ)` ⊂ST 'λ∧NOSCpNO∪C`NNSCPNN∪C@NMSC0NM∪C NLSSλN ∪RxN sRhN 3RXN
sRHN
3R8N sR(N 3R_NλsRλNλ3QxNπsQhNπ3QXNεsQPNε3Q@N¬sQ0NE∪A NDSA⊂ND∪ANCS@pNC∪@`NBS@PNB3@@NAs@0NA3@ N@s@⊂N@(Oλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂≥}⊂ 9≥-F(z@= ∞⊂C¬≡PgFn/(8Pa xA∞'(6→>P∂(␈ohv@z@→qX9=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>PgFn/(␈ohv@z@→qX9= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PbFn/(z@≠⊃X9= λ0∞␈x␈␈␈pα↔ox␈␈␈@∪pλ λMs (M↓s0HMαs h ≡@→PπP∂_MDλπ8α&B$:A3!( ≤@yX ⊂∞HMελεx¬&C$6C∪!` ~aYX∞O@∩PπfCs`↓J" P⊃∞ R8 &DC@β "9X∩M@r(
&Ds ∧HbiP∀LA2λ &e#λεπc)P⊗KAax fEr`λπc→P_Jb⊃x ff"H Hβ P~ bR &Fb( Hαy`≠Hcα gFRλ
Gbyh~πcQx g&1h∂Gbyh→π∧↓x '&⊃X⊂Gbi`→εD!h g&⊃P⊃π"y`_F$1h '&↓H⊃G"i`_ε$1h 'ε↓H∩παi`_EdQX g&↓8∩Fbi`_¬dQX 'ε↓8∩Fbi`_¬DqP '%q0∪F"y`↔EDqH 'ε↓(∪F"i`_¬$qH '%q ∀Fαi`↔E¬⊃8 g¬q ∀Ebi`↔E¬⊃8 '%q⊂∃¬bi`↔DE10 '¬q⊂∃EBY`↔DE1( '%aλ⊗¬"i`↔∧%A( '¬q⊗Eαi`↔D¬Q
g%`x↔∧bi`↔βea_ '¬`x↔∧bi`↔βeq⊂ '%`p↔DBY`↔β&↓λ '¬`h_∧"i`↔β&↓λ '%Ph_Dαi`⊗Cα λ∂DαY`⊗Cα⊂⊂∂Cbi`↔αb⊂⊂∂Cbih⊗Bb⊂⊂∂Cbi`⊗BB ⊂⊂βBY`⊗BB⊂_⊂βBY`⊗BB⊂_⊂βBYh⊗αB⊂ ∂C"i`⊗B"⊂ ⊂βαi`⊗Bα ⊂βαY`⊗Bα⊂(⊂βαY`⊗Bα⊂(⊂βαYh⊗αα⊂(⊂αbi`⊗↓b (⊂BBi`⊗AB⊂0⊂BBY`⊗AB⊂8⊂αBYh⊗↓B⊂8⊂αBY`⊗↓" 8⊂α"i`⊗↓" 8⊂BαY`⊗↓"⊂@⊂BαYh⊗↓α⊂@⊂BαY`⊗↓α⊂@⊂BαY`⊗b @⊃↓Bi`⊗b H⊂ABY`⊗b⊂P⊂ABYh∃@b⊂P⊂ABY`⊗" P⊂ABY`⊗" P⊃↓αi`⊗"⊂X⊃↓αYh∃@"⊂X⊃↓αY`≡Bd
gπP`⊃Bi`≡C∧ ⊂ 'π@h⊃BYh≥C$ ⊂
gπ0h⊃BY`≥C'→`≥C' `≥βG h≤Cfy`≤Cfy`≤Cfy`≤Cfi`≤∧εih≠Dεi`≠Dεi`≠Dεi`≠D&Ih~DFI`~DFI`~DFI`~DFI`~DF9h→Df9`→Df9`→Df9`→Eε→`→Eε→h_E&→`_E&→`_E&→`_E& `_E& h↔EF `↔EF `↔Eey`↔Eei`↔Eei`↔Eeih⊗F¬i`⊗F¬i`⊗F¬Y`⊗F¬Y`⊗F¬Yh⊗ε¬Y`⊗ε%9`⊗ε%9`⊗ε%9`∃FE9h∃εE9`∃εE)`∃εE)`∃εE)`∃εE)`∃εE)h∀Fe `⊃H$)`∞IcY` αy` B→`ε∞↓Ihβ∂ d xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ∂∂λα≤NV`2⎇ ≡Pq!BO($3q(z@≤(0
< G⊂:[ ←(z␈wt84= λOE>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←($3q(z␈wt84= λOE>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(!sq(z@= XOE>P∧_π@␈␈␈␈xxλ⊂ λx≠πD `~λ#ih→λCi`→λCYh_λcI`_λcIh↔Hc9`↔HCIh↔λC9`↔λC)h⊗H#9h⊗Hβ)`⊗Gc)h⊗πc)`⊗G#)h⊗π#→`⊗πβ)h∃Gβ→`⊗εC→h∃F#)`∃F#→h∃Ec)`∃Ec→h∃¬C→h∃¬#→`∃¬β→h∀Eβ `∃∧C→h∀D#→`∀D# h∀Cc→`∀Cc h∀βC→`∀C# h∀ββ `∀BC→h∀αC h∪B# `∀αβ h∪Ac `∀↓Byh∪A# `∪Aβ h∪@c `∪@C h∪@"y`∨g'Y`≡''9h≤gπ h≠gεih~gεIh→'ε)h_'¬yh↔'¬Yh∃g%)`∀g% `∪g$i`∪'$i`∪'$i`∪'$ih∪'∧ih∪'∧ih∪'∧iX∀'¬ X∃&e9`⊗&eY`↔&f X_gε)X→ffY`~ffyX≤'π→X≥&gI`≡&gi` @$yX $yX dy` dyX ↓$yX ↓Dy` ↓E X α∧yX B¬ ` αDyX BE ` αe X β% X C%→` βe X Ce→X D¬→` D%→X DE→X De)` E¬→X E%)` E%)X Ee)X
¬e)` F¬9X
ε%9X
εE9`
εEIX
π¬9X
G¬I`
π%IX
πeI`
πeIX
λ¬YX
H¬Y`
λEYX
HEYX∞λEi`
HeyX∞λeyX∞Hf `∞HF→X∂λF)`∂λ&9X∂Gfd xE.FH:≠ R:~ R1Z ↔⊂0XnF(9λ∂∨λα≤NV`2⎇ ≡Pq!BO(.∞QHz@≤(0
< G⊂:[ ←(z␈wt84= @:F>←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(.∞QHz␈wt84= @:F>Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(+NQHz@= ⊂:F>P∧_πH␈␈␈␈xh ␈␈␈{` 8βhαf↓→HεP
_L∧(ε8β&αd1α3↓P ↔AYH∂⊂ ⊃LλH¬0 f∧d)¬s∩P ∪#)@↔⊂ ⊃pL h∧0∂fεt#πs∪X ⊃#ip≤PλQpNN(∧ ∞g'∧"π3S8 ⊃βIp≠⊂λ1`NM(∧_
g&T!εsS ⊂C)h~⊂λ⊃PNLh∧
'&$ εSS⊂∨FSSλ∨F3C⊂∨ε3Sλ∨ε∪S≡F3S≡ε∪C≡ε∪S≥ε∪Rx≥ε∪Bx≥¬sRx≤ε∪Bx≤¬sRp≤¬sBx≠¬sRp≠¬sBx~ESRp~¬sBp~¬SRp→¬sBp→¬sRh→¬SBp_¬sRh_¬SBh↔EsRh↔¬SBh⊗EsRh⊗¬SBh⊗¬SBh∃ESRh∃¬SBh∀ESR`∀ESBh∀¬3R`∪ESB`∪E3R`∩ESB`∩E3RX∩¬SB`⊃E3B`⊃E3RX⊃¬3B`⊂E3RX⊂¬3BX⊂¬3RX∂¬3BX∂¬3BX∞E3RX∞¬3BX∞¬∪RP
E3BX
¬3RP E3BP E3BX E3RP E3BP ¬3RP
E3BP
E∪BP
¬3RP E∪BP ¬3RH ¬∪BPλ¬3BPλ¬∪RHπE3BPπ¬∪RHεE3BHεE∪RH¬E3BH¬E∪BH¬E∪RH∧E∪BH∧E∪BH∧¬∪RHβE∪BHβ¬∪R@β¬∪BHα¬∪BHα¬∪R@↓E3BH↓¬∪R@↓¬∪B@E∪ChNNsCXNN3CHN∞∪S8N
SC0NM∪C NLSC⊂N SSN ∪BxNKSBhNK∪BXN
sRHN
3B@NIsB8NI3B(N ∪R_NλSB⊂NH∪BNGsApNπSQ`Nπ∪AXNFSAHNε3Q@N¬sQ0N¬3A(N¬∪A ME3A ME3A ME3A ME31(N¬31(N¬31(N¬31(N¬310N¬310MESA0MESA0MESA0MESA0MEsA0MEs18N¬s18N¬s1@N¬s1@Nε∪1@Nε∪1HNε∪1HMFSAHMFSAPMFsAXMG∪A`MGSApMGsBMHSA`MEsA⊂MC3@8M@HOλ
]
↔ 6→$π 4→$ε_4_.&λ1] W⊂⊂≡↑⊂ 9≥-F(z@= ∞⊂C¬≡PU`U←(8Pa xA∞'(6→>P∂(␈ohv@z@∃8⊂V⎇?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>PU`U←(␈ohv@z@∃8⊂V⎇ ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>PP`U←(z@⊗X⊂V⎇ λ0∂/x␈␈␈pα∪ ∩⊂∪ λ$?␈␈x>@hπ0¬&a41E3A ∪∧)`⊂
fi` ∪D?gλπpMP∂i` ∨3D>'λπXN⊂∂)` ≡34<gλπ@N⊂∞y` ≥sD;&hπ0N⊂∞Y` ≥∪D9gλπ⊂N⊂∞→X ≤3D8gλπN⊂
y` ≠SD6fhεhN⊂
Y` Eλ∧λN∧∧3@NαecλMBεb`N↓'R8NH∧ ⊃y∧ `∂fcy`∂gβi`∞fcY`∞gβIX∞'β9`
fc9`
'β→X
'β→` &c→` &c ` gαyX gαiX gαiX 'αiX 'αiX 'αYX 'αYX 'αYX &bi` &bi` &biX gαiX fby` fc X &c→` &c→X
'β→X
&c9X
gβ9X∞&cI`∞&cYX∞fciX∂gβyX∂fd∀#320∨A∪BP≤↓s3↔Bs30∩D∪4 ¬"yX ≠347'λεpMP
yX ≤∪48fhπ⊂MP∞9` ≤s4:&hπ(MP∞iX ≥s4<&hπHMP∂)X ≡sD=fhπ`MP∂YX ∨S4?fhλMP⊂→X S4Afhλ MP⊂YX !S3 _HS1p ∃BIXλ⊂
`XMA(λ⊂↓Q≡⊃P:~.F`2H∞F@2H 6@0\L⊗_:→."4≡.ε@2[↑⊂ 9≥-F(z@= ∞⊂C¬≡P0E$O(8Pa xA∞'(6→>P∂(␈ohv@z@ ⊃(∩=?{x#Z≡⊂ 9≥-F(z@=?{x#Z≡P∂(8Pa xA∞'(6→>P0E$O(␈ohv@z@ ⊃(∩= ∞⊂C¬≡⊂ 9≥-F(z␈}`= ≡P¬∂(xA∞'(6→>P+E$O(z@
1(∩= λ0¬←x␈␈␈p↓ λP ↓∧(gλ¬λN⊂
→` ∀3D(gλ¬λN⊂
→` ∀3D(gλ¬λN⊂
→` ∀3D(gλ¬λN⊂
→` ∀3D(gλ¬λN⊂
→` ∀3D(gλ¬λ"<#' 4]
F(⊂≥
ε(⊂_mελ9_,7 2\Dπ2\M⊗x2< G⊂:[ ←(z@≤(0
= ¬(7*↑Pq!BOλα≤NV`2⎇ ≡←x←Qm∂(∃-jPz␈wt84< G⊂:[ ←(z␈wt84= ≡Pq!BOλα≤NV`2⎇ ¬(7*↑←x←Qm∂(∃-jPz@≤(0
< G⊂:[ ←(␈⎇@z@= P≡P∂λα≤NV`2⎇ ∧X7*↑P∂(↔mjPz@⊂` ←␈x␈␈`¬`∂ @¬dy`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧t xF.FH:≠ R:~ R1Z ↔⊂0XnF(9λ 6x6[,∨λα≤NV`2⎇ ≡Pq!BO(∃-jPz@≤(0
< G⊂:[ ←(z␈wt84= ¬(7*↑←x←Qm∂λα≤NV`2⎇ ≡←x←Qm∂(z@≤(0
< G⊂:[ ←(∃-jPz␈wt84= ¬(7*↑Pq!BOλα≤NV`2⎇?␈0≡P∂(α@z@< G⊂:[ ←(∩mjPz@= ¬x7*↑P∧_α`␈␈␈␈x↓8βh␈␈␈|0α0↓8∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪g∧y`∪jβ9`
&c9`
'β)`
'β→X
'β→` gβ ` &c ` 'αy` gαiX gαi` 'αi`
fbi`
gαY`
'αIX
'αI` gα9` &b9` 'α)` 'α→X 'α→`λgα `λ&b `λ'↓y`πg↓iXπg↓i`π'↓i`εfai`εg↓Y`ε'↓IXε⊃∨1↑ λ⊂∧Pb'}p¬↔P¬↔←x␈␈␈@(/x␈␈u@≡o0⊂@mα6H∃@∧p#=E@
Pβep1+O0⊗@0@↓
D _⊃=E`
Pβep1π∨0 @mα6H#@⊃⎇H ⊗πkπ⊂↓ ←0!@kα/PQ@@≤⎇H@≡`
v]`αs?0"@fα!ht↓$⎇H`_ λP"∧eO0#@y@αYλ"@↓0∧⎇I↔@λ+9@εK?0$@@@↓8Q↓pD=I ∀ π_≠⊂λ O0%@iα+λπ@α_w⎇I@↔@λ+9@
↓O0&@q@αBλ∃αPg⎇I`≠⊂ Q
p ∃∨0'@λ↓@αpλ0@β0λ=J→ λ}!p∞↑∂0(@λ↓@αpλ0@βp@=J ⊗ πt≡@⊃∧?0)@Z@α↓PD∧@ε=J@~ ,!p∩pO0*@y@αYλ"@¬λ∧=J`≠ Z%0∃>/0+@λ"βLλY@¬P→⎇K≡0
d(P_∪∂0,@y@αYλ"@ε ⎇⎇K 0 @,⊂~ /00@Q↓fl@ε`4⎇L →⊂λu
@≠ro01@aα∀λλπ_⎇=L@↔ λ""⊂≥←/02@fα!hh@πPv=L`∞⊂¬∧∀@∨5O03@R@↓jP6λV⎇M⊗ πt≡@!≠←04@6↓→(sλ@l=M ∂`¬Ma`"c/05@Y↓⎇zλpL⎇M@
@∧e<`$U∂06@λ→@β5λK@ (6=M`⊗PλεQ&7?07@T↓o ∞@ `r⎇N→ λ}!p'v?08@M@↓\hJ@
_r⎇N ∪ εj≠ )r∂09@Q↓fl@
Pλ=N@∃ πF≡P+'o0:@]αλ@z 3⎇N`∀ π_≡`,ro0;@g@α&8=@ 0)⎇O∩ ε<↔P.T∂0<@\αε ≤@ h&=O ∃@πO6⊂0↔␈H_o⊂@w{⎇xow{⎇x